- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| j2 |      | Liana Bozga, Yassine Lakhnech, Michaël Périn: Pattern-based abstraction for verifying secrecy in protocols. STTT 8(1): 57-76 (2006) |
| 2005 | ||
| j1 | | Liana Bozga, Cristian Ene, Yassine Lakhnech: A symbolic decision procedure for cryptographic protocols with time stamps. J. Log. Algebr. Program. 65(1): 1-35 (2005) |
| c5 |  | 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 |
| 2004 | ||
| c4 | | Liana Bozga, Cristian Ene, Yassine Lakhnech: A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). CONCUR 2004: 177-192 |
| c3 | | Liana Bozga, Cristian Ene, Yassine Lakhnech: On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. FoSSaCS 2004: 42-57 |
| 2003 | ||
| c2 | | Liana Bozga, Yassine Lakhnech, Michaël Périn: HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. CAV 2003: 219-222 |
| c1 | | Liana Bozga, Yassine Lakhnech, Michaël Périn: Pattern-Based Abstraction for Verifying Secrecy in Protocols. TACAS 2003: 299-314 |
| 1 | Cristian Ene | |
| 2 | Romain Janvier | |
| 3 | Yassine Lakhnech | |
| 4 | Laurent Mazaré | |
| 5 | Michaël Périn |
Data released under the ODC-BY 1.0 license — See also our legal information page