I am currently a PhD student working under the supervision of Steve Kremer and Vincent Cheval. 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)
- Pre-doctoral internship at IMDEA Software Institue, Spain (2016 – 2017)
- Master of computer science at ENS Cachan, France (2014 – 2016)
Some presentations
- On aggregation of information in timing attacks (paper presentation at Euro S&P, 18/06/2019)
- Exploiting symmetries in equivalence proofs for security protocols
- [french] Des mathématiques pour l’informatique (popularisation talk at MATh.en.JEANS, 26/03/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, 22/05/2018)
