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
As many researchers of my domain, I am currently following the development on covid-19 tracing applications.
- I have co-authored a document on the risks of tracing apps (click here for the French version).
- I have been invited to a Hearing at the European parlement (EPP group), here is my presentation.
- I have been invited to a webinar at the Barreau de Paris, here is my presentation.
- I have been invited to the Workshop on Security and Privacy in Contact Tracing, here is my presentation.
Publications | Some Popularization papers
Editorships and committees | Invited talks
Current and past projects | ERC ProSecure project
See our voting system Belenios
PhD Students:
- Quentin Yang (2020 – )
- 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)