Projects

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