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).
- Hearing at the European parlement (EPP group) in May 2020, (presentation).
- Invited webinar at the Barreau de Paris in May 2020, here is my (presentation).
- Invited talk Workshop on Security and Privacy in Contact Tracing in September 2020, (presentation).
- Panel at the GdR Security National Days in June 2021, (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)
