Joseph Lallemand


I work as a full-time researcher (chargé de recherche) for CNRS at IRISA (Rennes, France), in the SPICY team (formerly EMSEC).

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].