HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. - Liana Bozga; Yassine Lakhnech; Michaël Périn (CAV, 2003)

A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). - Liana Bozga; Cristian Ene; Yassine Lakhnech (CONCUR, 2004)

On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. - Liana Bozga; Cristian Ene; Yassine Lakhnech (FoSSaCS, 2004)

Automatic verification of cryptographic protocols. (Méthodes algorithmiques de vérification des protocoles cryptographiques). - Liana Lazar (2004)

Automatic Verification of Security Properties Based on Abstractions. - Liana Bozga; Cristian Ene; Romain Janvier; Yassine Lakhnech; Laurent Mazaré; Michaël Périn (VISSAS, 2005)

A symbolic decision procedure for cryptographic protocols with time stamps. - Liana Bozga; Cristian Ene; Yassine Lakhnech (J. Log. Algebraic Methods Program., 2005)

Pattern-based abstraction for verifying secrecy in protocols. - Liana Bozga; Yassine Lakhnech; Michaël Périn (Int. J. Softw. Tools Technol. Transf., 2006)