Rémy Chrétien

Doctorant

Recherche

J'ai débuté ma thèse en octobre 2012 sous la direction de Véronique Cortier et Stéphanie Delaune. Je travaille sur la vérification de propriétés d'anonymat pour les protocoles sécurisés.

Outil

cpp2dpa est un outil pour convertir des protocoles cryptographiques en automates à pile déterministes, permettant ainsi la preuve automatique d'équivalence et la découverte d'attaques avec l'outil LALBLC.

Enseignement

TP d'initiation à l'informatique (L1, Université Paris 7)

TD de Concepts Informatiques (L1, Université Paris 7): corrigé TD1 (exercice 1, exercice 2), corrigé TD 2, corrigé TD3 (exercice 2), corrigé TD4 (exercice 3)

À propos du LSV

Contact

Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Tél.
+33 (0)1 47 40 77 83
Secr.
+33 (0)1 47 40 75 20
E-Mail
email