Search the dblp DataBase

Publications of Author

1. Jean-Marc Andreoli, Laurent Mazaré
   Concurrent Construction of Proof-Nets. [Citation Graph (0, 0)][DBLP]
   CSL, 2003, pp:29-42 [Conf]
   
2. Romain Janvier, Yassine Lakhnech, Laurent Mazaré
   Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. [Citation Graph (0, 0)][DBLP]
   ESOP, 2005, pp:172-185 [Conf]
   
3. Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
   Opacity Generalised to Transition Systems. [Citation Graph (0, 0)][DBLP]
   Formal Aspects in Security and Trust, 2005, pp:81-95 [Conf]
   
4. Laurent Mazaré
   Decidability of Opacity with Non-Atomic Keys. [Citation Graph (0, 0)][DBLP]
   Formal Aspects in Security and Trust, 2004, pp:71-84 [Conf]
   
5. Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn
   Automatic Verification of Security Properties Based on Abstractions. [Citation Graph (0, 0)][DBLP]
   VISSAS, 2005, pp:23-53 [Conf]
   
6. Laurent Mazaré
   Satisfiability of Dolev-Yao Constraints. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:109-124 [Journal]
   
7. Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi
   A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. [Citation Graph (0, 0)][DBLP]
   CRYPTO, 2007, pp:482-499 [Conf]
   
8. Steve Kremer, Laurent Mazaré
   Adaptive Soundness of Static Equivalence. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2007, pp:610-625 [Conf]
   
9. M. Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré
   Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. [Citation Graph (0, 0)][DBLP]
   Formal Aspects in Security and Trust, 2006, pp:47-64 [Conf]
   
10. Romain Janvier, Yassine Lakhnech, Laurent Mazaré
    Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:186, n:, pp:121-139 [Journal]
    
11. 
    Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. [Citation Graph (, )][DBLP]