Projects

Current:

  • ANR/FNR Project Sequoia (2014-2019)
  • ERC Project Spooc (2015-2020)

Old:

  • CNRS PEPS JCJC Project VESPA « Verifying Equivalence Security in Protocols: Tools and Algorithms » (2016, total budget 12k Euro, coordinator) with Vincent Cheval
  • CNRS PEPS SISC Project ASSI « Analyse de Sécurité des Systèmes Industriels » (2016, total budget 15k Euro, participant) with Pascal Lafourcade (Coordinator) and Marie-Laure Potet