An undergraduate-level textbook introducing students to the fundamentals of provable security

Contents About this book

About this book

Unconditional Cryptography

1. One-Time Pad & the Provable Security Mindset
2. Rudiments of Provable Security
3. ☆ Secret Sharing

Pseudorandomness

1. Modern Computational Cryptography
2. Pseudorandom Generators
3. Pseudorandom Functions
4. Pseudorandom Permutations

Symmetric-Key Encryption

1. Chosen-Plaintext Attacks Against Encryption
2. Chosen-Ciphertext Attacks Against Encryption

Hashing

1. Collision-Resistant Hash Functions
2. ☆ Universal Hash Functions
3. Random Oracles and Other Idealized Models

Asymmetric-Key Cryptography

1. Key Exchange
2. Public-Key Encryption
3. RSA
4. Digital Signatures

Advanced Topics

1. Encrypted Messaging & Ratcheting
2. Authenticated Key Exchange
3. Zero-Knowledge Proofs
4. Post-Quantum Cryptography

Appendix

1. Math Review
2. Binary Finite Fields
3. Bibliography