2006 |
7 | EE | Liana Bozga,
Yassine Lakhnech,
Michaël Périn:
Pattern-based abstraction for verifying secrecy in protocols.
STTT 8(1): 57-76 (2006) |
2005 |
6 | | 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 |
5 | EE | 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) |
2004 |
4 | EE | Liana Bozga,
Cristian Ene,
Yassine Lakhnech:
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).
CONCUR 2004: 177-192 |
3 | EE | Liana Bozga,
Cristian Ene,
Yassine Lakhnech:
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.
FoSSaCS 2004: 42-57 |
2003 |
2 | EE | Liana Bozga,
Yassine Lakhnech,
Michaël Périn:
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.
CAV 2003: 219-222 |
1 | EE | Liana Bozga,
Yassine Lakhnech,
Michaël Périn:
Pattern-Based Abstraction for Verifying Secrecy in Protocols.
TACAS 2003: 299-314 |