Session Chair: Peter Ryan

Electronic voting aims to achieve the same properties as traditional paper based voting. Even when voters vote from their home, they should be given the same guarantees, without having to trust the election authorities, the voting infrastructure, and/or the Internet network. The two main security goals are vote privacy: no one should know how I voted; and verifiability: a voter should be able to check that the votes have been properly counted. In this talk, we will explore the subtle relationships between these properties and we will see how they can be realized.

Véronique Cortier Bio

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 such as first order logic or rewriting.

She has co-authored more than 80 publications on these topics. She is editorial member of TISSEC, JCS, and FnT in Security and Privacy and member of the steering committee of CSF and POST.

She was chair of chair of HotSpot 2016, co-chair of Post 2020, E-Vote-ID 2019 and 2018, FMA 2014, CSF 2012, SECCO 2010, FCS-PrivMod 2010 and FCS 2009.

In 2010, she was awarded an ERC starting grant and in 2015, she received the INRIA – Académie des Sciences young researcher award. She received the PhD thesis Award 2004 from Le Monde and the PhD thesis Award 2003 from SPECIF.