Current:
- ANR project SEVERITAS (2021-2025, local coordinator)
- ANR Research and teaching chair in AI ASAP (2020-2024)
Old:
- ANR project TECAP (2018-2022)
- ERC project Spooc (2015-2020)
- ANR/FNR project Sequoia (2014-2019)
- CNRS PEPS SISC project ASSI « Analyse de Sécurité des Systèmes Industriels » (2016-2017, total budget 25k Euro, participant) with Pascal Lafourcade (Coordinator) and Marie-Laure Potet
- CNRS PEPS JCJC project VESPA « Verifying Equivalence Security in Protocols: Tools and Algorithms » (2016, total budget 12k Euro, coordinator) with Vincent Cheval
