Lassaad Cheikhrouhou

According to our database, Lassaad Cheikhrouhou authored at least 10 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Inductive verification of cryptographic protocols based on message algebras - trace and indistinguishability properties.

Lassaad Cheikhrouhou

PhD thesis, 2022

2012

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

Lassaad Cheikhrouhou, Werner Stephan, Özgür Dagdelen, Marc Fischlin, Markus Ullmann

Proceedings of the Sicherheit 2012: Sicherheit, 2012

2008

Automating Interactive Protocol Verification.

Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2006

Verifying a Chipcard-Based Biometric Identification Protocol in VSE.

Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann

Proceedings of the Computer Safety, 2006

2002

Proof Development with OMEGA.

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

Proceedings of the Automated Deduction, 2002

1999

<i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface.

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

Formal Aspects Comput., 1999

1998

Adaptation of Declaratively Represented Methods in Proof Planning.

Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou

Ann. Math. Artif. Intell., 1998

Planning Diagonalization Proofs.

Lassaad Cheikhrouhou, Jörg H. Siekmann

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

Planning Diagonalization Proofs.

Lassaad Cheikhrouhou

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Omega: Towards a Mathematical Assistant.

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

Proceedings of the Automated Deduction, 1997