Laurent Mazaré

	2010
16		Steve Kremer, Laurent Mazaré: Computationally sound analysis of protocols using bilinear pairings. Journal of Computer Security 18(6): 999-1033 (2010)
	2009
15		Laurent Mazaré, Bogdan Warinschi: Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. ARSPA-WITS 2009: 193-210
	2008
14		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
13		Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi: A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. CRYPTO 2007: 482-499
12		Steve Kremer, Laurent Mazaré: Adaptive Soundness of Static Equivalence. ESORICS 2007: 610-625
11		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)
	2006
10		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
9		Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. ESOP 2005: 172-185
8		Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
7		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
6		Laurent Mazaré: Satisfiability of Dolev-Yao Constraints. Electr. Notes Theor. Comput. Sci. 125(1): 109-124 (2005)
5		Romain Janvier, Yassine Lakhnech, Laurent Mazaré: (De)Compositions of Cryptographic Schemes and their Applications to Protocols. IACR Cryptology ePrint Archive 2005: 20 (2005)
4		Yassine Lakhnech, Laurent Mazaré: Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation. IACR Cryptology ePrint Archive 2005: 97 (2005)
3		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
2		Laurent Mazaré: Decidability of Opacity with Non-Atomic Keys. Formal Aspects in Security and Trust 2004: 71-84
	2003
1		Jean-Marc Andreoli, Laurent Mazaré: Concurrent Construction of Proof-Nets. CSL 2003: 29-42

Coauthor Index

1	Jean-Marc Andreoli	[1]
2	Liana Bozga	[7]
3	Emmanuel Bresson	[13]
4	Jeremy Bryans (Jeremy W. Bryans)	[8] [14]
5	Marion Daubignard	[10]
6	Cristian Ene	[7]
7	Romain Janvier	[5] [7] [9] [10] [11]
8	Maciej Koutny	[8] [14]
9	Steve Kremer	[12] [16]
10	Yassine Lakhnech	[3] [4] [5] [7] [9] [10] [11] [13]
11	Michaël Périn	[7]
12	Peter Y. A. Ryan (Peter Ryan)	[8] [14]
13	Bogdan Warinschi	[13] [15]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page