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
See our voting system Belenios
PhD Students:
- Joseph Lallemand (2016 – )
- Antoine Dallon (2015 – )
- 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)
