Slide 1 1 Provable Security Sebastian Faust Ruhr-Universität Bochum, Germany Slide 2 ≈ securing communication Encrypt Enc(k,m) key k Adv. Learns nothing about m Agree…