| 2008 |
|---|
| 11 | EE | 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 |
|---|
| 10 | EE | Emmanuel Bresson,
Yassine Lakhnech,
Laurent Mazaré,
Bogdan Warinschi:
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.
CRYPTO 2007: 482-499 |
| 9 | EE | Steve Kremer,
Laurent Mazaré:
Adaptive Soundness of Static Equivalence.
ESORICS 2007: 610-625 |
| 8 | EE | 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 |
|---|
| 7 | EE | 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 |
|---|
| 6 | EE | Romain Janvier,
Yassine Lakhnech,
Laurent Mazaré:
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.
ESOP 2005: 172-185 |
| 5 | EE | Jeremy Bryans,
Maciej Koutny,
Laurent Mazaré,
Peter Y. A. Ryan:
Opacity Generalised to Transition Systems.
Formal Aspects in Security and Trust 2005: 81-95 |
| 4 | | 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 |
| 3 | EE | Laurent Mazaré:
Satisfiability of Dolev-Yao Constraints.
Electr. Notes Theor. Comput. Sci. 125(1): 109-124 (2005) |
| 2004 |
|---|
| 2 | EE | Laurent Mazaré:
Decidability of Opacity with Non-Atomic Keys.
Formal Aspects in Security and Trust 2004: 71-84 |
| 2003 |
|---|
| 1 | EE | Jean-Marc Andreoli,
Laurent Mazaré:
Concurrent Construction of Proof-Nets.
CSL 2003: 29-42 |
