I am currently a PhD student working under the supervision of Steve Kremer and Vincent Cheval, working among other things on the DeepSec prover. You can find information on my research and teaching throughout this webpage.
Research Interests
- Formal methods
- Security protocols
- Side-channel attacks
Chronology
- PhD student at INRIA Nancy Grand-Est, France (2017 – now)
- Internship at Microsoft Research Cambridge, England (2019)
- Pre-doctoral internship at IMDEA Software Institue, Spain (2016 – 2017)
- Master of computer science at ENS Cachan, France (2014 – 2016)
Some presentations
- Exploiting symmetries in equivalence proofs for security protocols (paper presentation at CCS 2019)
- On aggregation of information in timing attacks (paper presentation at EuroS&P 2019)
- [french] Avoir confiance en la transmission de l’information (popularisation talk at fan.inria, 22/01/2019)
- Deciding equivalence properties in security protocols (paper presentation at S&P 2018)
