Lukas .ical Session 12-29 11:30 60min 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