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


  • 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