( en | de | ru )

 

Disambiguation of "Lakhnech, Yassine"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Analysis and Synthesis of Padding-Based Encryption Schemes.

, , , , , and . IACR Cryptology ePrint Archive, (2012)

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

Automated Analysis and Synthesis of Padding-Based Encryption Schemes., , , , , and . IACR Cryptology ePrint Archive, (2012)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)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)Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs., , , , , , and . FBT, page 3-5. Verlag Shaker, (2000)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)Pattern-based abstraction for verifying secrecy in protocols., , and . Int. J. Softw. Tools Technol. Transf., 8 (1): 57-76 (2006)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)Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions., , and . ICS@SYNASC, volume 186 of Electronic Notes in Theoretical Computer Science, page 121-139. Elsevier, (2006)Formal Methods and Tools: Introduction and Overview., , and . Tool Support for System Specification, Development and Verification, page 1-17. Springer, (1998)