Ongoing Projects
- ANR OREO (PI): MILP Modelization for Symmetric Cryptography
- PEPR Cryptanalyse (Local PI): Security analysis of cryptographic algorithms
- ERC SoBaSyc (Expert): Solid Basis for Symmetric Cryptography
Past Projects
- ANR Brutus: Authenticated Ciphers and Resistance against Side-Channel Attacks
- ANR JCJC CryptAudit (PI): Audit tools for cryptographic primitives
- ANR Decrypt (Local PI): Declarative language for Symmetric Cryptography