- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j4 |      | Steve Kremer, Laurent Mazaré: Computationally sound analysis of protocols using bilinear pairings. Journal of Computer Security 18(6): 999-1033 (2010) |
| 2009 | ||
| c9 | | Laurent Mazaré, Bogdan Warinschi: Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. ARSPA-WITS 2009: 193-210 |
| 2008 | ||
| j3 | | Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008) |
| 2007 | ||
| j2 | | Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. Electr. Notes Theor. Comput. Sci. 186: 121-139 (2007) |
| c8 | | Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi: A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. CRYPTO 2007: 482-499 |
| c7 | | |
| 2006 | ||
| c6 | | Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. Formal Aspects in Security and Trust 2006: 47-64 |
| 2005 | ||
| j1 | | Laurent Mazaré: Satisfiability of Dolev-Yao Constraints. Electr. Notes Theor. Comput. Sci. 125(1): 109-124 (2005) |
| c5 | | Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. ESOP 2005: 172-185 |
| c4 | | Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95 |
| c3 |  | Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn: Automatic Verification of Security Properties Based on Abstractions. VISSAS 2005: 23-53 |
| i3 | | Romain Janvier, Yassine Lakhnech, Laurent Mazaré: (De)Compositions of Cryptographic Schemes and their Applications to Protocols. IACR Cryptology ePrint Archive 2005: 20 (2005) |
| i2 | | Yassine Lakhnech, Laurent Mazaré: Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation. IACR Cryptology ePrint Archive 2005: 97 (2005) |
| i1 | | Yassine Lakhnech, Laurent Mazaré: Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme. IACR Cryptology ePrint Archive 2005: 98 (2005) |
| 2004 | ||
| c2 | | Laurent Mazaré: Decidability of Opacity with Non-Atomic Keys. Formal Aspects in Security and Trust 2004: 71-84 |
| 2003 | ||
| c1 | | |
Colors in the list of coauthors
Last update Wed May 22 01:55:07 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page