Véronique Cortier (LORIA) Talk - Irif's Dinstinguished Talk Series
Channel: IRIF
Date: 11/04/2024

On February 7, 2024 IRIF welcomed Véronique Cortier (Laboratoire lorrain de recherche en informatique et ses applications (LORIA)) for a talk about "Electronic voting: design and formal verification".

ABSTRACT 

"Electronic voting aims at guaranteeing apparently conflicting properties: no one should know how I voted and yet, I should be able to check that my vote has been properly counted. Electronic voting belongs to the large family of security protocols, that aim at securing communications against powerful adversaries that may read, block, and modify messages. In this talk, we will see how to design secure electronic voting protocols and how to analyze them using formal methods, in order to detect attacks at an early stage, or prove security, yielding a better understanding of the security guarantees and the threat model."

_____________________
BIOGRAPHY

Véronique Cortier is CNRS research director at Loria (Nancy, France).
In 2003, she received her Ph.D. degree in Computer Science from the École Normale Supérieure de Cachan, from which she graduated.
Her research focuses on formal verification of security protocols, in particular e-voting, using formal techniques or provable security.
She was awarded an ERC starting grant in 2010, she received the INRIA - Académie des Sciences young researcher award in 2015 and the silver CNRS medal in 2022.