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)
