Véronique Cortier

Research Interests:

  • Verification of security protocols
  • Electronic voting protocols (see our system Belenios)
  • 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 | ERC ProSecure project

Teaching (in French) | CV

Awards

logo-belenios-medium See our voting system Belenios 

PhD Students:

  • Joseph Lallemand (2016 – )
  • Antoine Dallon (2015 – )
  • Alicia Filipiak (2015 – )
  • É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)