Publications connexes

• Présentation à la 9th International Conference on Computer Aided Verification (CAV), « Towards a Mechanization of Cryptographic Protocol Verification », D. Bolignano (juin 1997). Actes publiés dans le volume 1254 des «  Lecture Notes in Computer Science », Springer Verlag.
• Présentation au 10th IEEE Computer Security Foundations Workshop, « Toward the Formal Verification of Electronique Commerce Protocols », D. Bolignano (1999). Publié dans les actes du Workshop par l'IEEE Computer Society.
  
• Fiche EVA pour dossier de presse (septembre 2000). Accessible sur le site RNTL .
• Exposé invité, « Analyse de protocoles cryptographiques », Journées Systèmes Infinis, LIAFA, J. Goubault (mars 2001)
• Présentation au 15th International Workshop on Algebraic Development (WADT'01) à Gênes, « Algebraic Abstraction  », M. Bidoit, A. Boisseau (avril 2001). À paraître dans les « Lecture Notes in Computer Science  », Springer Verlag.
• Stand au colloque RNTL (avril 2001). Le poster présenté sur le stand est accessible ici .
• Exposé invité, « Analyse de protocoles cryptographiques », École Polytechnique, J. Goubault (mai 2001).
• Exposé invité, « Abstraction and inductive invariants for cryptographic protocols » à LACPV (CAV) , Y. Lakhnech (juillet 2001).
• Numéro spécial du « Journal of Telecommunications and Information Technology » sur la vérification de protocoles cryptographiques, J. Goubault (2002).
• Présentation à la 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), « Abstract Interpretation for Secrecy using Patterns  » Liana Bozga, Yassine Lakhnech, Michael Périn (2003). Actes publiés dans le volume 2619 des «  Lecture Notes in Computer Science », Springer Verlag.
• Présentation à la 15th International Conference on Computer Aided Verification (CAV), « HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols  » Liana Bozga, Yassine Lakhnech, Michael Périn (2003). Actes publiés dans le volume 2725 des «  Lecture Notes in Computer Science », Springer Verlag.