Ongoing projects
  1. ANR DeCrypt, member (2019-2023)
    Declarative approach for Symmetric Cryptography
  2. ERC Starting Grant POPSTAR, PI (2017-2022)
    Reasoning about Physical properties Of security Protocols with an Application To contactless Systems
  3. ANR TECAP, local PI (2018-2022)
    Protocol Analysis - Combining Existing Tools
  4. ANR Sequoia, member (2014-2019)
    Security properties, process equivalences and automated verification

Past projects
  1. Inria Project Lab on Privacy Cappris, member (2013-2016)
    Collaborative Action on the Protection of Privacy Rights in the Information Society
  2. ANR JCJC VIP, PI (2012-2016)
    Verification of Indistinguishability Properties
  3. ANR ProSe member, (2010-2014)
    Security Protocols : formal model, computational model, and implementations
  4. ANR AVOTE, member (2008-2011)
    Analyse formelle de protocoles de vote électronique
  5. ARA SSIA FormaCrypt, member (2006-2009)
  6. 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
  7. RNTL Posé, member (2007)
    Test de conformité de POlitiques de SEcurité de systèmes enfouis
  8. EPSRC EP/E029833 project, co-head (2006)
    Verifying properties in electronic voting protocols
  9. ACI Rossignol, member (2003-2006)
    Sémantique de la vérification des protocoles cryptographiques: théorie et applications
  10. RNTL PROUVE, member (2003-2006)
    PRotocoles cryptographiques: OUtils de VErification automatique