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. Pascal Fradet, Daniel Le Métayer, Michaël Périn
   Consistency Checking for Multiple View Software Architectures. [Citation Graph (0, 0)][DBLP]
   ESEC / SIGSOFT FSE, 1999, pp:410-428 [Conf]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 
   Certification of Smart-Card Applications in Common Criteria. [Citation Graph (, )][DBLP]
   
   
7. 
   Certification of smart-card applications in common criteria. [Citation Graph (, )][DBLP]
   
   
8. 
   Gentzen-Prawitz Natural Deduction as a Teaching Tool [Citation Graph (, )][DBLP]
   
   
9. 
   Convincing Proofs for Program Certification. [Citation Graph (, )][DBLP]