Title: Provable security in cryptography