FJW .ical Intervention 29/12 11:30 60minutes Provable Security FJW, Lukas Modern cryptography is based on security-proofs. We will demonstrate how these work, why they are desirable and what their limitations are. Security Dijkstra