Joseph Lallemand

Joseph Lallemand is a CNRS Researcher (Chargé de recherche) at IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires) in Rennes, France. He works full-time in the SPICY team (formerly EMSEC) where he focuses on the formal analysis of cryptographic protocols, particularly electronic voting protocols and automated verification of privacy properties. His work combines theoretical computer science with practical security applications.

Lallemand's research interests include formal methods for security, cryptographic protocols, privacy properties, electronic voting protocols, and automated verification. His work often involves developing rigorous mathematical frameworks to analyze security protocols and verify their properties. He has made significant contributions to the analysis of voting protocols, where privacy and verifiability are critical requirements. His research spans both theoretical foundations and practical implementations, with an emphasis on provable security guarantees.

Lallemand's publications demonstrate a consistent focus on formal verification techniques applied to security protocols, particularly in the domain of electronic voting. His work shows progression from foundational type systems for privacy properties to increasingly sophisticated analyses of real-world voting systems. The research often bridges theoretical computer science with practical security concerns, demonstrating how formal methods can be applied to ensure the security of critical systems.

• Price Distinguished Paper Award, IEEE CSF 2020, for the article Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
• Accessit of the 2020 thesis prize from the GdR Computer Security

Lallemand has been actively involved in the development of Squirrel, a proof assistant specifically designed for cryptographic protocols. His work connects theoretical advances in formal methods with practical security verification. He collaborates with researchers across institutions, including ETH Zürich where he completed a post-doc in David Basin's group, and maintains connections with his PhD advisors at the Pesto team where he completed his doctoral work under Véronique Cortier.

Based at IRISA, a leading French research institute in computer science, Lallemand contributes to a vibrant research environment focused on security and formal methods. His work has practical implications for the design and verification of secure systems, particularly in the sensitive domain of electronic voting where privacy and verifiability must be carefully balanced.