Ongoing projects
  1. Projet BPI RESQUE, member (2023-2026)
    Résilience Quantique
  2. PEPR Cybersécurité SVP Project, PI (2022-2028)
    Verification of Security Protocols
  3. ANR JCJC Drama, member (2023-2026)
    Attacks and Security Analysis of Digital Rights Management Systems
  4. ANR DeCrypt, member (2019-2023)
    Declarative approach for Symmetric Cryptography

Past projects
  1. ERC Starting Grant POPSTAR, PI (2017-2022)
    Reasoning about Physical properties Of security Protocols with an Application To contactless Systems
  2. ANR TECAP, local PI (2018-2022)
    Protocol Analysis - Combining Existing Tools
  3. ANR Sequoia, member (2014-2019)
    Security properties, process equivalences and automated verification
  4. Inria Project Lab on Privacy Cappris, member (2013-2016)
    Collaborative Action on the Protection of Privacy Rights in the Information Society
  5. ANR JCJC VIP, PI (2012-2016)
    Verification of Indistinguishability Properties
  6. ANR ProSe member (2010-2014)
    Security Protocols : formal model, computational model, and implementations
  7. ANR AVOTE, member (2008-2011)
    Analyse formelle de protocoles de vote électronique
  8. ARA SSIA FormaCrypt, member (2006-2009)
  9. Project DGRST/Inria Franco-Tunisien, member (2007)
    Conception et implémentation de systèmes de vote électronique et d'outils de vérification des protocoles de vote électronique
  10. RNTL Posé, member (2007)
    Test de conformité de POlitiques de SEcurité de systèmes enfouis
  11. EPSRC EP/E029833 project, co-head (2006)
    Verifying properties in electronic voting protocols
  12. ACI Rossignol, member (2003-2006)
    Sémantique de la vérification des protocoles cryptographiques: théorie et applications
  13. RNTL PROUVE, member (2003-2006)
    PRotocoles cryptographiques: OUtils de VErification automatique