Login / Signup
Liana Bozga
Publication Activity (10 Years)
Years Active: 2003-2006
Publications (10 Years): 0
</>
Publications
</>
Liana Bozga
,
Yassine Lakhnech
,
Michaël Périn
Pattern-based abstraction for verifying secrecy in protocols.
Int. J. Softw. Tools Technol. Transf.
8 (1) (2006)
Liana Bozga
,
Cristian Ene
,
Yassine Lakhnech
A symbolic decision procedure for cryptographic protocols with time stamps.
J. Log. Algebraic Methods Program.
65 (1) (2005)
Liana Bozga
,
Cristian Ene
,
Romain Janvier
,
Yassine Lakhnech
,
Laurent Mazaré
,
Michaël Périn
Automatic Verification of Security Properties Based on Abstractions.
VISSAS
(2005)
Liana Bozga
,
Cristian Ene
,
Yassine Lakhnech
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.
FoSSaCS
(2004)
Liana Bozga
,
Cristian Ene
,
Yassine Lakhnech
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).
CONCUR
(2004)
Liana Bozga
,
Yassine Lakhnech
,
Michaël Périn
Pattern-Based Abstraction for Verifying Secrecy in Protocols.
TACAS
(2003)
Liana Bozga
,
Yassine Lakhnech
,
Michaël Périn
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.
CAV
(2003)