Studies
- July – August 2019 research visit at University of Birmingham to collaborate with Dr. Tom Chothia
- 2017–2020 PhD thesis in computer science under the supervision of Stéphanie Delaune.
- Title: Symbolic verification of distance-bounding protocols – application to contactless payment
- Defended on November 17th, 2020
- Jury:
- David Pichardie (president)
- Sjouke Mauw (reviewer)
- Bruno Blanchet (reviewer)
- Ioana Boureanu (examiner)
- Cas Cremers (examiner)
- Stéphanie Delaune (supervisor)
- January – July 2016 ERASMUS+ program at EPFL (Switzerland)
- 2015–2017 Master in computer science at École normale supérieure de Rennes and Université de Rennes 1
Industrial projects
- Since May 2022 – Loria / Swiss Post collaboration, with V. Cortier et P. Gaudry – Collaboration and expertise advisory for the development of an evoting solution
- May – July 2021 – Loria / Swiss Post collaboration, with V. Cortier et P. Gaudry – Security review and symbolic analysis of an evoting system under development.
**Discovery of a major attack against vote privacy – bounty of 40k€** - December 2020 – February 2021 – Loria/IDEMIA collaboration, with V. Cortier, J. Dreier, P. Gaudry, and M. Turuani – Design and analysis of a new hybrid evoting protocol (voting machine + paper sheets).
Student supervision
PhD students
(since July 2023) Florian Moser – PhD student co-supervised with V. Cortier
Internship students
(May-July 2022) Benjamin Voisin – L3 ENS Rennes – co-supervised with L. Hirschi – Title: Use of Zero-Knowledge Proofs to improve eligibility in evoting protocols
(May-July 2022) Hubert de Groote – L3 ENS Paris Saclay – co-supervised with V. Cortier – Title: Study of VoteAgain Coercion resistance
Reviews and program comittees
Program Committee: SECURWARE 2021, EvoteID 2023 (co-track chair)
Reviews:
- IEEE Transactions on Dependable and Secure Computing (TDSC)
- POST 2018, ESORICS 2019, EVoteID 2021, CSF 2022
- bachelor/master internship reports for École normale supérieure de Rennes
