Search the dblp DataBase

Publications of Author

1. Liana Bozga, Yassine Lakhnech, Michaël Périn
   HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:219-222 [Conf]
   
2. Liana Bozga, Cristian Ene, Yassine Lakhnech
   A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:177-192 [Conf]
   
3. Liana Bozga, Cristian Ene, Yassine Lakhnech
   On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2004, pp:42-57 [Conf]
   
4. Liana Bozga, Yassine Lakhnech, Michaël Périn
   Pattern-Based Abstraction for Verifying Secrecy in Protocols. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:299-314 [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. Liana Bozga, Cristian Ene, Yassine Lakhnech
   A symbolic decision procedure for cryptographic protocols with time stamps. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2005, v:65, n:1, pp:1-35 [Journal]
   
7. Liana Bozga, Yassine Lakhnech, Michaël Périn
   Pattern-based abstraction for verifying secrecy in protocols. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:1, pp:57-76 [Journal]