Biography
After a masters degree at Universite Claude Bernard (Lyon, France), I obtained a PhD. from Universite Clermont Auvergne (Clermont-Ferrand, France) with Pascal Lafourcade. I was then a post-doctoral researcher under Thomas Peyrin at NTU (Singapore) from 2018 to 2020, and a Lecturer at University of Surrey (Guildford, UK) from 2020 to 2021. I am now a senior cryptanalyst at TII.
Research Interests
- Automated Cryptanalysis: Optimisation and AI techniques can be used to make the tasks of cryptographers easier, both in analysing and designing new primitives. My main research interest is making these processes as automatic and seamless as possible, through tools such as constraint programming, MILP, SAT solvers, and machine learning.
- Provable Security: Security protocols are increasingly complex, and strong security guarantees are needed. My secondary research interest is security models and proofs, in particular for distance bounding protocols.
Publications
Please check my dblp or google scholar profiles for a detailed list.