I am interested in the use of formal methods for security.
I work on automated verification of cryptographic protocols, in particular for privacy properties. I also study electronic voting protocols.
I am involved in the development of Squirrel, a proof assistant for cryptographic protocols.
Before that, I was a post-doc researcher at ETH Zürich (Switzerland), in the Information Security group.
I defended my PhD thesis in November 2019 at Loria (Nancy, France).
The thesis is entitled "Electronic Voting: Definitions and Analysis Techniques", and is available [here].