( en | de | ru )

 

Disambiguation of "Lakhnech, Yassine"

Author of the publication

copydeleteadd this publication to your clipboard
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.

, , , , and . FME, volume 1051 of Lecture Notes in Computer Science, page 595-608. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yassine Lakhnech

Yassine Benabbas

Yassine Ariba

Yassine Khaled

Yassine Gangat

 

Other publications of authors with the same name

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols., , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 219-222. Springer, (2003)On the Existence of an Effective and Complete Inference System for Cryptographic Protocols., , and . FoSSaCS, volume 2987 of Lecture Notes in Computer Science, page 42-57. Springer, (2004)Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs., , , , , , and . FBT, page 3-5. Verlag Shaker, (2000)Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries., , and . ESOP, volume 3444 of Lecture Notes in Computer Science, page 172-185. Springer, (2005)CIL Security Proof for a Password-Based Key Exchange., , and . ProvSec, volume 8209 of Lecture Notes in Computer Science, page 59-85. Springer, (2013)A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness., , , and . CRYPTO, volume 4622 of Lecture Notes in Computer Science, page 482-499. Springer, (2007)Beyond Provable Security Verifiable IND-CCA Security of OAEP., , , and . CT-RSA, volume 6558 of Lecture Notes in Computer Science, page 180-196. Springer, (2011)Formal Indistinguishability Extended to the Random Oracle Model., , and . ESORICS, volume 5789 of Lecture Notes in Computer Science, page 555-570. Springer, (2009)On Unique Decomposition of Processes in the Applied π-Calculus., , , and . FoSSaCS, volume 7794 of Lecture Notes in Computer Science, page 50-64. Springer, (2013)Formal Methods and Tools: Introduction and Overview., , and . Tool Support for System Specification, Development and Verification, page 1-17. Springer, (1998)