Modern cryptography is based on security-proofs. We will demonstrate how these work, why they are desirable and what their limitations are.
