Logical Analysis and Verification of Cryptographic Protocols - Loria

Acknowledgement
First of all, I owe a special and warm thank-you to Yannick Chevalier for giving
me the opportunity to do this PhD. His high competence combined with his human
qualities provided me a very pleasant and valuable supervision. I thank him for his
great and constant availability, for his clear and precise answers to my questions, for
his numerous advices and comments, and for his constant human support during this
adventure. I cordially thank Philippe Balbiani for his encouragements, his advices, his
constant support during my thesis, and for helping and encouraging me to pursue a
PhD thesis.
Then I want to thank Véronique Cortier and Christopher Lynch for accepting to
review my thesis, for their detailed reviews and for their relevant remarks. I also thank
Jean-Paul Bodeveix, Sais Lakhdar and Yassine Lakhnech for the honor of having them
in my jury and for their questions and comments during my defense.
I thank Mark Ryan who warmly welcomed me in his team at the Computer Science
School, Birmingham, United Kingdom, and for the opportunity he gave me to work
together. I also thank Ben Smyth and Steve Kremer.
I thank Michael Rusinowitch who warmly welcomed me several times in his team
at LORIA, Nancy, and for all the discussions we had.
Finally, I thank all the members of LILaC team, my friends, François, Nadine,
Fahima, Marwa, Bilal, Guillaume, Tiago, Nicolas, Enrica, Myrto, Manh-hung, Zein,
Karine, Najah, etc., and a special and big thank-you to my family.
iii