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)
  • Pre-doctoral internship at IMDEA Software Institue, Spain (2016 – 2017)
  • Master of computer science at ENS Cachan, France (2014 – 2016)