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 :

Introduction to Programming (Java)
Introduction to Programming (Python)
Internet and Tools
Analysis of Structured Data (Java, Jflex)

Awards

At ETAPS'16, our article (written with Stéphanie Delaune and Véronique Cortier) received the EASST Best Paper Award (ex-aequo).
For this work, I also received the STIC DS PhD Students Award (2016) (1st ex-aequo).

Contact

Address: LSV, CNRS & ENS Paris-Saclay
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