Projects

Current:

  • ANR project TECAP (2018-2021)
  • ANR/FNR project Sequoia (2014-2019)
  • ERC project Spooc (2015-2020)
  • 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

Old:

  • CNRS PEPS JCJC project VESPA « Verifying Equivalence Security in Protocols: Tools and Algorithms » (2016, total budget 12k Euro, coordinator) with Vincent Cheval