Véronique Cortier

 

See our book on Electronic voting (in French), co-written with Pierrick Gaudry

« Le vote électronique – Les défis du secret et de la transparence ».

 

Research Interests:

  • Electronic voting protocols (see our system Belenios)
  • Verification of security protocols
  • Link between symbolic and cryptographic models for protocols
  • Automatic deduction, tree automata

Publications | Some Popularization papers

Editorships and committees | Invited talks

Current and past projects

Teaching (in French) | CV

Commission doctorants (in French)

Awards

logo-belenios-medium See our voting system Belenios 

As many researchers of my domain, I have followed the development on covid-19 tracing applications.

PhD Students:

  • Léo Louistisserand (2023 – )
  • Florian Moser (2023 – )
  • Quentin Yang (2020 – 2023)
  • Joseph Lallemand (2016 – 2019)
  • Antoine Dallon (2015 – 2018)
  • Alicia Filipiak (2015 – 2018)
  • Éric Le Morvan (2013 – discontinued)
  • Rémy Chrétien (2012 – Jan. 2016)
  • Cyrille Wiedling (2011 – 2014)
  • Guillaume Scerri (2011 – Jan. 2015)
  • Mathilde Arnaud (2008 – 2011)
  • Stefan Ciobaca (2008 – 2011)
  • Heinrich Hördegen (2005 – 2007)
  • Eugen Zalinescu (2004 – 2007)