( en | de | ru )

 

Disambiguation of "Mazaré, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Guy Mazaré

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Laurent Herschke

 

Other publications of authors with the same name

Satisfiability of Dolev-Yao Constraints.. ARSPA@IJCAR, volume 125 of Electronic Notes in Theoretical Computer Science, page 109-124. Elsevier, (2004)Decidability of Opacity with Non-Atomic Keys.. Formal Aspects in Security and Trust, volume 173 of IFIP, page 71-84. Springer, (2004)Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption., and . ARSPA-WITS, volume 5511 of Lecture Notes in Computer Science, page 193-210. Springer, (2009)Concurrent Construction of Proof-Nets., and . CSL, volume 2803 of Lecture Notes in Computer Science, page 29-42. Springer, (2003)Computationally sound analysis of protocols using bilinear pairings., and . Journal of Computer Security, 18 (6): 999-1033 (2010)(De)Compositions of Cryptographic Schemes and their Applications to Protocols., , and . IACR Cryptology ePrint Archive, (2005)Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation., and . IACR Cryptology ePrint Archive, (2005)Adaptive Soundness of Static Equivalence., and . ESORICS, volume 4734 of Lecture Notes in Computer Science, page 610-625. Springer, (2007)Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme., and . IACR Cryptology ePrint Archive, (2005)Computational Soundness - The Case of Diffie-Hellman Keys., , , and . Formal Models and Techniques for Analyzing Security Protocols, volume 5 of Cryptology and Information Security Series, IOS Press, (2011)