Travelled to:1 × Poland
1 × Spain
1 × USA
Collaborated with:Y.Lakhnech M.Périn C.Ene
Talks about:protocol (3) secreci (2) cryptograph (1) abstract (1) pattern (1) complet (1) automat (1) verifi (1) system (1) effect (1)
Person: Liana Bozga
DBLP: Bozga:Liana
Contributed to:
2004
2003
2003Wrote 3 papers:
- FoSSaCS-2004-BozgaEL #effectiveness #encryption #on the #protocol
- On the Existence of an Effective and Complete Inference System for Cryptographic Protocols (LB, CE, YL), pp. 42–57.
- CAV-2003-BozgaLP #automation #named #protocol #security #verification
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols (LB, YL, MP), pp. 219–222.
- TACAS-2003-BozgaLP #abstraction #protocol #verification
- Pattern-Based Abstraction for Verifying Secrecy in Protocols (LB, YL, MP), pp. 299–314.