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.

PhD defense

My PhD defense will take place Monday, November 26th in amphi Chemla. You can find more informations on this subject here.

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
name at lsv.fr