Symmetric Cryptography, provable security, and group theory