Romain Janvier (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 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)

3 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

2 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

Selection of 4 from 4 records - Romain Janvier has 6 coauthors

4		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)
3		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
2		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