Restructuring in 2023&24

Welcome to the ModernCryptographyCourse wiki!

For the edition 2023/24, I might restructure the course significantly, and possibly use the Joy of Cryptography book instead of Katz/Lindell.

Which are the exercises we absolutely want students able to do?

• (R) absolutely Required to be able to solve
• (N) Nice to be able to solve
• (*) more advanced additional material, recommended for double BSc students

Contents

1. One-Time Pad & Kerckhoffs’ Principle

1.1. What Is [Not] Cryptography?

1.2. Specifics of One-Time Pad

Exercise classification

• (R) 1.1, 1.2, 1.3, 1.5, 1.7
• (N) 1.4, 1.6, 1.10, 1.11,
• (*) 1.9, 1.12,

2. The Basics of Provable Security

2.1 How to Write a Security Definition

2.2 Formalisms for Security Definitions

2.3 How to Demonstrate Insecurity with Attacks

2.4 How to Prove Security with The Hybrid Technique

2.5 How to Compare/Contrast Security Definitions

Exercise classification

• (R)
• (N)
• (*)