Search the dblp DataBase

Publications of Author

1. Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
   Relating Two Standard Notions of Secrecy. [Citation Graph (0, 0)][DBLP]
   CSL, 2006, pp:303-318 [Conf]
   
2. Véronique Cortier, Eugen Zalinescu
   Deciding Key Cycles for Security Protocols. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:317-331 [Conf]
   
3. Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
   A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. [Citation Graph (0, 0)][DBLP]
   PPDP, 2005, pp:12-22 [Conf]
   
4. Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu
   Synthesizing Secure Protocols. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2007, pp:406-421 [Conf]
   
5. Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
   Relating two standard notions of secrecy [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
6. Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
   Deciding security properties for cryptographic protocols. Application to key cycles [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
7. 
   Cryptographically verified implementations for TLS. [Citation Graph (, )][DBLP]
   
   
8. 
   Relating two standard notions of secrecy. [Citation Graph (, )][DBLP]