Lassaad Cheikhrouhou

Publication Activity (10 Years)

Years Active: 1997-2012
Publications (10 Years): 0

Top Topics

Mutual Authentication

Security Analysis

Top Venues

Publications

Lassaad Cheikhrouhou, Werner Stephan, Özgür Dagdelen, Marc Fischlin, Markus Ullmann
Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE. Sicherheit (2012)
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock
Automating Interactive Protocol Verification. KI (2008)
Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann
Verifying a Chipcard-Based Biometric Identification Protocol in VSE. SAFECOMP (2006)
Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
Proof Development with OMEGA. CADE (2002)
Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge
nterface. Formal Aspects Comput. 11 (3) (1999)
Lassaad Cheikhrouhou, Jörg H. Siekmann
Planning Diagonalization Proofs. AIMSA (1998)
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. 23 (3-4) (1998)
Lassaad Cheikhrouhou
Planning Diagonalization Proofs. KI (1997)
Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
Omega: Towards a Mathematical Assistant. CADE (1997)