Projects

  • ANR Brutus: Authenticated Ciphers and Resistance against Side-Channel Attacks
  • ANR JCJC CryptAudit: Audit tools for cryptographic primitives
  • ANR Decrypt: Declarative language for Symmetric Cryptography