Educational Technology Lab

Seite 1 von 1.

1. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

   A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

   MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

2. Lassaad Cheikhrouhou; Werner Stephan; Oezguer Dagdelen; Marc Fischlin; Markus Ullmann

   Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of {PACE}

   In: Neeraj Suri; Michael Waidner (Hrsg.). Sicherheit 2012 - 6. Jahrestagung des Fachbereichs "Sicherheit - Schutz und Zuverlässigkeit" der GI. …

3. Lassaad Cheikhrouhou; Andreas Nonnengart; Werner Stephan; Frank Koob; Georg Rock

   Automating Interactive Protocol Verification

   In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). KI 2008: Advances in Artificial Intelligence. German …

4. Gunter Lassmann; Georg Rock; Matthias Schwan; Lassaad Cheikhrouhou

   Verisoft secure biometric identification system

   In: Paul J. J. Welfens; Ellen Walther-Klaus. Digital Excellence, University Meets Economy. Pages 83-97, ISBN 978-3-540-72620-3, Springer, Berlin …

5. Lassaad Cheikhrouhou; Georg Rock; Werner Stephan; Matthias Schwan; Gunter Lassmann

   Verifying a Chipcard-Based Biometric Identification Protocol in {VSE}

   In: Computer Safety, Reliability, and Security, 25th International Conference. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-06), …

• 1