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)
- 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)
