Lukas .ical Session 12-2911:3060minProvable SecurityFJW, LukasModern cryptography is based on security-proofs. We will demonstrate how these work, why they are desirable and what their limitations are.SecurityDijkstra