Publikationen

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 Information Sciences, 2013.

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. GI-Fachtagungen, March 7-9, Darmstadt, Germany, Pages 83-94, LNI, Vol. 195, ISBN 978-3-88579-289-5, GI, 2012.

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 Conference on Artificial Intelligence (KI-2008), September 23-26, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5243, ISBN 978-3-540-85844-7, Springer, Berlin, Heidelberg, 2008.

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 Heidelberg, 2008.

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), September 27-29, Gdansk, Poland, Pages 42-56, LNCS, No. 4166, ISBN 3-540-45762-3, Springer, 2006.

• 1