( en | de | ru )

 

Disambiguation of "Lakhnech, Yassine"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrency Verification: Introduction to Compositional and Noncompositional Methods

, , , , , , and . Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (2001)

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)Automated Analysis and Synthesis of Padding-Based Encryption Schemes., , , , , and . IACR Cryptology ePrint Archive, (2012)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)CIL Security Proof for a Password-Based Key Exchange., , and . ProvSec, volume 8209 of Lecture Notes in Computer Science, page 59-85. Springer, (2013)Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs., , , , , , and . FBT, page 3-5. Verlag Shaker, (2000)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)Concurrency Verification: Introduction to Compositional and Noncompositional Methods, , , , , , and . Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (2001)