Antoine Dallon

PhD Student

Research

I am a former PhD Student of Stéphanie Delaune and Véronique Cortier. My thesis is about automated verification of equivalence properties for security protocols.

SAT-Equiv

SAT-Equiv web page is available here.

Teaching

I gave programming sessions in first year at Université Paris 7 :

Awards

About LSV

Contact

Antoine Dallon
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-115
Phone
+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