[1]
|
Rapport Technique EVA No 1, Langage de spécification
de protocoles cryptographiques de EVA : syntaxe concrète, Florent
Jacquemard, Daniel Le Métayer, novembre 2001. |
[2]
|
Rapport Technique EVA No 2, Langage de spécification
de protocoles cryptographiques de EVA : syntaxe abstraite et sémantique,
Jean Goubault-Larrecq, novembre 2001. |
[3]
|
Rapport Technique EVA No 3, Les syntaxes et
la sémantique du langage de spécification EVA, Jean
Goubault-Larrecq, novembre 2001. PS.gz PDF |
[4]
|
Rapport Technique EVA No 4, EVA test base,
Dominique Bolignano, Francesca Fiorenza, Florent Jacquemard, Daniel Le
Métayer, novembre 2001. PS.gz PDF |
[5]
|
Rapport Technique EVA No 5, Pattern-based Abstraction for Verifying Secrecy in Protocols,
Liana Bozga, Yassine Lakhnech, Michael Périn , novembre 2002. |
[6]
|
Rapport Technique EVA No 6, L'outil de vérification HERMES,
Liana Bozga, Yassine Lakhnech, Michael Périn , mai 2002. |
[7]
|
Rapport Technique EVA No 7, L'outil de vérification SECURIFY,
Véronique Cortier , mai 2002. |
[8]
|
Rapport Technique EVA No 8, Outils CPV et CPV2,
Jean Goubault-Larrecq , mai 2002. |
[9]
|
Rapport Technique EVA No 9, The EVA translator,
Florent Jacquemard, juillet , 2003. |
[10]
|
Rapport Technique EVA No 10, Abstract Interpretation for Secrecy using Patterns,
Liana Bozga, Yassine Lakhnech, Michael Périn, novembre, 2003. PS.gz PDF |
[11]
|
Rapport Technique EVA No 11, A symbolic calculus for cryptographic protocols,
Liana Bozga, Cristian Ene, Yassine Lakhnech, novembre , 2003. |
[12]
|
Rapport Technique EVA No 12, Symbolic verification of cryptographic protocols with time stamps,
Liana Bozga, Cristian Ene, Yassine Lakhnech, decembre , 2003. |
[13]
|
Rapport Technique EVA No 13, A guide for SECURIFY,
Véronique Cortier , decembre 2003. |
[14]
|
Rapport Technique EVA No 14, Coq certification for verification with HERMES tool,
R. Janvier, M. P\'erin, Y. Lakhnech and L. Bozga, novembre, 2003. |
[15]
|
Rapport Technique EVA No 15, The EVA environment: Experimentation Report,
Gustavo Betarte, Daniel Le Métayer (with contributions from Véronique Cortier,
Michael Périn and Yassine Lakhnech), decembre , 2003. |
[16]
|
Rapport Technique EVA No 16, Using Unification For Opacity Properties,
Laurent Mazaré, decembre , 2003. |