| 2007 |
|---|
| 4 | 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 |
|---|
| 3 | 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 |
|---|
| 2 | EE | Romain Janvier,
Yassine Lakhnech,
Laurent Mazaré:
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.
ESOP 2005: 172-185 |
| 1 | | 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 |
