I am a PhD student at LORIA since 2023. I am working in the research teams Pesto and Caramba, under the supervision of Pierrick Gaudry and Véronique Cortier. The goal of my thesis is to design and to verify remote voting protocols.
Fields of interest
- Electronic voting
- Formal verification
- From March to August 2022, I worked at Loria under the supervision of Pïerrick Gaudry and Véronique Cortier. My goal was to design a secure postal voting protocol. You can find my master thesis here.
- Form October 2022 to June 2023, I worked at TU Wien, under the supervision of Matteo Maffei. I produced a formal analysis of the lightning network protocol together with Simon Jeanteur.