CV

Positions

• 09/2020 – 08/2021: Délégation/Detachment to INRIA (LORIA)
• 09/2019 – 08/2020: Délégation/Detachment to CNRS (LORIA)
• Since 09/2015: Maître de Conférences (Université de Lorraine / LORIA / TELECOM Nancy)
• 01/2014 – 08/2015: Postdoc, Institute of Information Security, ETH Zürich, working with David Basin
  
• 12/2010 – 12/2013: PhD student, VERIMAG, Grenoble, under supervision of Yassine Lakhnech and Pascal Lafourcade
• 04/2010 – 09/2010: Master’s intern at SAP Research Karlsruhe, working with Florian Kerschbaum

Publications

See here or DBLP or Google Scholar.

Projects

See here.

Program Commitees

• 29th European Symposium on Research in Computer Security (ESORICS’24)
• 19th International Conference on Availability, Reliability and Security (ARES 2024)
• ACM Conference on Data and Application Security and Privacy (CODASPY’24)
• 16th Summer School on Modelling and Verification of Parallel Processes (MOVEP’24)
• Security Track at the ACM/SIGAPP Symposium On Applied Computing (SEC@SAC) 2022
• Security Track at the ACM/SIGAPP Symposium On Applied Computing (SEC@SAC) 2022
• Indocrypt 2021
• International Workshop on Emerging Network Security (ENS 2021)
• Security Track at the ACM/SIGAPP Symposium On Applied Computing (SEC@SAC) 2021
• Workshop on 5G Networks Security (5G-NS 2020)
• Australasian Conference on Information Security and Privacy (ACISP) 2020
• Security Track at the ACM/SIGAPP Symposium On Applied Computing (SEC@SAC) 2020
• Workshop on 5G Networks Security (5G-NS 2019)
• Grande Region Security and Reliability Day 2019 (Chair)
• Grande Region Security and Reliability Day 2018 (Co-Chair)
• First International Workshop on Security Aspects of Cyber-Physical Systems (SACPS’15)

Software

I am co-developing the Tamarin prover.

Awards

• 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

Students

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

Education:

• 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

Theses

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 Document – Code – Video 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.