Antoine Dallon

PhD Student

Research

I am currently a PhD Student under the supervision of Stéphanie Delaune and Véronique Cortier. I'm doing my thesis about automated verification of anonymity properties for security protocols.

SAT-Equiv

SAT-Equiv web page is available here.

Teaching

I give 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
antoine (dot) dallon (at) lsv.fr