Team Cassis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Ph. D. theses

Heinrich Hoerdegen has defended his Ph. D. thesis, entitled “ Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats — Étude des protocoles récursifs ”, supervised by V. Cortier and M. Rusinowitch, on November 29, 2007.

Duc-Khanh Tran has defended his Ph. D. thesis, entitled “ Conception de procédures de décision par combinaison et saturation ”, supervised by H. Kirchner, S. Ranise and C. Ringeissen, on February 16, 2007.

Eugen Zalinescu has defended his Ph. D. thesis, entitled “ Sécurité des protocoles cryptographiques: décidabilité et résultats de transfert ”, supervised by V. Cortier and M. Rusinowitch, on December 17, 2007.


previous
next

Logo Inria