Provable security in cryptography | lit.salon