( en | de | ru )

 

Disambiguation of "Mazaré, Laurent"

Author of the publication

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

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

Thomas Laurent

 

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)Adaptive Soundness of Static Equivalence., and . ESORICS, volume 4734 of Lecture Notes in Computer Science, page 610-625. Springer, (2007)(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)Automatic Verification of Security Properties Based on Abstractions., , , , , and . VISSAS, volume 1 of NATO Security through Science Series D: Information and Communication Security, page 23-53. IOS Press, (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)