Publications of
Yannick Chevalier, Mounira Kourjieh
Key Substitution in the Symbolic Analysis of Cryptographic Protocols
In : Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2007), India, New Delhi, 12/12/07-14/12/07, Vol. 4855/2007, Springer, LNCS 978-3-540-77049-7, pp. 121-132, November 2007.
Yannick Chevalier, Mounira Kourjieh
A Symbolic Intruder Model for Hash-Collision Attacks
In : Annual Asian Computing Science Conference (ASIAN 2006), Tokyo, 06/12/06-08/12/06, Vol. 4435, Mitsu Okada, Ichiro Satoh (Eds.), Springer, Lecture Notes in Computer Science 4435, pp. 13-27, January 2007.
Abstract URL : http://www.irit.fr/publis/LILAC/main.pdf
BibTeX
Logical Analysis and Verification of Cryptographic Protocols
Master’s Thesis, Université Paul Sabatier, December 2009.
Abstract URL : http://www.irit.fr/publis/LILAC/Theses_et_habilitations/thesis.pdf
BibTeX