logo
Provable security for symmetric cryptography