See here or DBLP or Google Scholar.


See here.

Program Commitees


I am co-developing the Tamarin prover.


  • Best Paper Award at ESORICS’20 for the paper « Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols », co-authored with Véronique Cortier and Stéphanie Delaune
  • Best Student Paper Award at SECRYPT’17 for the paper « Formally verifying flow integrity properties in industrial systems », co-authored with Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, and Jean-Louis Roch
  • Best Paper Award at SECRYPT’14 for the paper « Formal analysis of electronic exams », co-authored with Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini and Peter Y. A. Ryan
  • Best Paper Award at PASSAT’11 for the paper « Practical privacy-preserving multiparty linear programming based on problem transformation », co-authored with Florian Kerschbaum


  • PhD:
    • Dhekra Mahmoud (2021-, co-supervised with Pascal Lafourcade)
    • Elise Klein (2021-, co-supervised with Steve Kremer)
    • Maiwenn Racouchot (2021-, co-supervised with Steve Kremer)
  • M2:
    • Tom Gouville (2023)
    • Valérian Hatey (2021)
    • Corentin Hug (2020)
  • M1:
    • Wenjia Tang (2023)
    • Valentin Thiebaux (2023)
    • Nicolas Beaudouin (2022)
    • Yann Colomb (2021)
    • Elise Klein (2020)
    • Maiwenn Racouchot (2020)
    • Corentin Hug (2019)
  • L3:
    • Phuoc Nguyen (2020)
    • Devansh Chandak (2020)


  • 2013 PhD in Computer Science, Université de Grenoble, France,
  • 2010 Master de Recherche (Master of Research), mention «Très bien» (« very good »), École nationale supérieure d’informatique et de mathématiques appliquées (ENSIMAG), Grenoble, France
  • 2010 Diplôme d’Ingénieur (French engineering degree) in computer science, mention «Très bien» (« very good »), rank 1, ENSIMAG, Grenoble, France
  • 2010 Diplom-Informatiker (Master’s equivalent) « mit Auszeichnung » (with distinction), Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany


I defended my PhD thesis entitled « Formal Verification of Voting and Auction Protocols: From Privacy to Fairness and Verifiability » on Monday, November 25, 2013. Thesis DocumentCodeVideo of my presentation

My masters thesis was entitled « Privacy-Preserving Linear Programming in the Cloud », and jointly submitted to École Nationale Supérieure d’Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG) and Karlsruhe Institute of Technology (KIT) in 2010. The project was completed at SAP Research Karlsruhe under joint supervision by Florian Kerschbaum, Pascal Lafourcade, and Jörn Müller-Quade.