Liana Bozga
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2003–2004
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | CONCUR | A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). | Liana Bozga, Cristian Ene, Yassine Lakhnech |
| 2004 | FOSSACS | On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. | Liana Bozga, Cristian Ene, Yassine Lakhnech |
| 2003 | CAV | HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. | Liana Bozga, Yassine Lakhnech, Michal Prin |
| 2003 | TACAS | Pattern-Based Abstraction for Verifying Secrecy in Protocols. | Liana Bozga, Yassine Lakhnech, Michal Prin |