2018-2020: H2020 FENTEC: Increasing Trustworthiness of ICT solutions developing Functional Encryption Systems
2017-2020: RISQ: Regroupement de l’Industrie française pour la Sécurité Post-Quantique
2016-2020: ANR ALAMBIC: AppLicAtions of MalleaBIlity in Cryptography
2015-2020: H2020 ERC Starting Grant aSCEND: Secure Computation on Encrypted Data
2015-2019: H2020 ECRYPT-NET: European Integrated Research Training Network on Advanced Cryptographic Technologies for the Internet of Things and the Cloud
2014-2020: FP7 ERC Advanced Grant CryptoCloud: Cryptography for the Cloud
2015-2019: H2020 SAFECrypto: Secure Architectures of Future Emerging Cryptography
2014-2019: ANR JCJC EnBiD: Encryption for Big Data
2014-2018: H2020 ICT COST CryptoAction: Cryptography for Secure Digital Interaction
2014-2017: FUI CryptoComp
2013-2016: ANR INS SIMPATIC: SIM and PAiring Theory for Information and Communications security
2012-2016: ANR JCJC ROMAnTIC: Randomness in mathematical cryptography
2013-2015: ANR JCJC CLE: Cryptography from learning with errors
2011-2015: ANR ARPEGE PRINCE: Proven Resilience against Information leakage in Cryptographic Engineering
2011-2015: ANR VERSO ProSe: Security protocols : formal model, computational model, and implementations
2011-2014: FP7 ICT EU-Brazil SecFuNet: Security for Future Networks
2010-2013: ANR VERSO BEST: Broadcast Encryption for Secure Telecommunications
2009-2013: ANR VERSO SAPHIR II: Sécurité et Analyse des Primitives de Hachage Innovantes et Récentes (Security and analysis of innovating and recent hashing primitives)
2008-2012: FP7 NoE ECRYPT II: We lead the MAYA virtual lab of the network of excellence ECRYPT II
2007-2011: ANR SESUR PAMPA: Password Authentication and Methods for Privacy and Anonymity
2007-2011: ANR TELECOM PACE: Pairings and Advances in Cryptology for E-cash
2006-2010: ANR TELECOM SAVE: Sécurité et Audit du Vote Electronique (Security and audit for electronic voting)
2005-2009: ANR RNRT BACH: Biometric Authentication with Cryptographic Handling
2005-2009: ANR RNRT SAPHIR: Sécurité et Analyse des Primitives de Hachage Innovantes et Récentes (Security and analysis of innovating and recent hashing primitives)
2005-2009: ARA SSIA CrySCoE: Cryptographie pour la sécurité des codes embarqués (Cryptography for the security of embedded systems)
2005-2009: ARA SSIA FORMACRYPT: Formal security proofs for cryptographic protocols
2004-2008: FP6 NoE ECRYPT: We lead the AZTEC virtual lab of the network of excellence ECRYPT
