Antoine Dallon

Doctorant

Recherche

Je suis un ancien doctorant de Stéphanie Delaune et de Véronique Cortier. Ma thèse concerne la vérification de propriétés d'équivalence pour les protocoles de sécurité. J'ai quitté le laboratoire depuis novembre 2018.

SAT-Equiv

La page web de SAT-Equiv est disponible ici.

Enseignement

J'enseignais en L1 à l'Université Paris 7 :

Récompenses

À propos du LSV

Contact

Antoine Dallon
Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Bureau
RH-B-115
Tél.
+33 (0)1 47 40 77 81
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
name at lsv.fr