More publications are available on my DBLP profile.

I am looking for excellent students who want to work with me on projects like these (pdf version). If you would like to work with me on such a project, please email me your CV together with a short paragraph explaining what project you would like and why you think you are the right person for that project.

I defended my PhD thesis on the security of cryptographic protocols at ENS Cachan on December 9th, 2011.

For my PhD thesis, I worked on a few tools for the verification of security protocols, the most important being AKiSs, a tool for verifying equivalence properties of cryptographic protocols.

I now contribute to the K Tool, a framework for giving executable semantics to programming languages.

Last modified: Thu Feb 23 18:53:19 EET 2023