9. Cryptographic security models
Covers indistinguishability, chosen-plaintext and chosen-ciphertext attacks, existential forgery, random oracles, reductions, and composability. Learners practice stating what a construction promises and what an attacker may do.