Liana Bozga

According to our database, Liana Bozga authored at least 7 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Pattern-based abstraction for verifying secrecy in protocols.

Liana Bozga, Yassine Lakhnech, Michaël Périn

Int. J. Softw. Tools Technol. Transf., 2006

2005

A symbolic decision procedure for cryptographic protocols with time stamps.

Liana Bozga, Cristian Ene, Yassine Lakhnech

J. Log. Algebraic Methods Program., 2005

Automatic Verification of Security Properties Based on Abstractions.

Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

2004

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

Liana Lazar

PhD thesis, 2004

On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.

Liana Bozga, Cristian Ene, Yassine Lakhnech

Proceedings of the Foundations of Software Science and Computation Structures, 2004

A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).

Liana Bozga, Cristian Ene, Yassine Lakhnech

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.

Liana Bozga, Yassine Lakhnech, Michaël Périn

Proceedings of the Computer Aided Verification, 15th International Conference, 2003