Rémy Chrétien

PhD student

Research

I am a PhD student, under the supersivion of Véronique Cortier and Stéphanie Delaune. I am working on the automated verification of privacy properties for security protocols.

Tool

cpp2dpa is a tool to convert cryptographic protocols into deterministic pushdown automata, enabling automated proofs of equivalence and discovery of attacks by interfacing with the tool LALBLC.

Teaching

In french

About LSV

Contact

Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Phone
+33 (0)1 47 40 77 83
Secr.
+33 (0)1 47 40 75 20
E-Mail
email