Lukas .ical Beitrag 29.12 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