Joseph Lallemand

Publications



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

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.


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