| CS 601.642/442: Modern Cryptography (Fall 2018) |
| Overview: | |
|
|
Class Schedule (Tentative; will to be revised):
| Date | Lecture | Additional Notes |
|---|---|---|
| Aug 30 | Introduction (Slides) | Pre-reqs refresh in Review Session (Oct 31) Review Session Notes Mathematical Background: Notes by Boaz Barak |
| Sep 5 | One-Way Functions (I) (Slides) | More Detailed Notes: See Chapter 2 |
| Sep 10 | One-Way Functions (II) (Slides) | Hardness Amplification: See Chapter 2.4 |
| Sep 12 | Hard Core Predicate (Slides) | Goldreich-Levin Theorem: See Chapter 3.4 Levin's Universal OWF: See Chapter 2.13 |
| Sep 17 | Pseudorandomness (I) (Slides) | |
| Sep 19 | Pseudorandomness (II) (Slides) | Notes by Yehuda Lindell: See Chapter 4 |
| Sep 24 | Pseudorandomness (III) (Slides) | Notes by Yehuda Lindell: See Chapters 5.1, 5.2 |
| Sep 26 | Key Exchange (Slides) | |
| Oct 1 | Secret-Key Encryption (Slides) | Notes by Yehuda Lindell: See Chapters 9, 10.1 |
| Oct 3 | Public-Key Encryption (I) (Slides) | Notes by Yehuda Lindell: See Chapters 9, 10.1 |
| Oct 8 | Public-Key Encryption (II) (Board Lecture) | El Gamal Encryption |
| Oct 10 | Authentication (I) (Slides) | Notes by Yehuda Lindell: See Chapters 11, 12 |
| Oct 15 | Authentication (II) (Board Lecture) | Number-theoretic Hash Functions
Random Oracles and Full Domain Hash |
| Oct 17 | Zero-Knowledge Proofs (Slides) | Notes by Yehuda Lindell: See Chapters 5.3, 6 Physical ZK: ZK Proofs for Nuclear Warhead Verification Mike Rosulek: ZK Proofs for Sudoku and Where's Waldo |
| Oct 22 | Zero-Knowledge Proofs (II) (Slides) | Notes by Yehuda Lindell: See Chapter 7 Oded Goldreich: ZK twenty years after its invention Boaz Barak: How to do Non-Black-Box Simulation |
| Oct 24 | NIZKs via Fiat-Shamir (Board Lecture) | Susan Hohenberger: Notes on Fiat Shamir |
| Oct 29 | CCA Security (I) (Slides) | Notes by Victor Shoup: Lecture 10 |
| Oct 31 | Midterm | |
| Nov 5 | CCA Security (II) (Slides) | |
| Nov 7 | Secure Computation (I) (Slides) | Notes by Yehuda Lindell: See Chapter 13 |
| Nov 12 | Secure Computation (II) (Slides) | Yao's Protocol with Proof: Lindell-Pinkas |
| Nov 14 | Secure Computation (III) (Slides) | Notes by Yehuda Lindell: See Chapter 13 |
| Nov 19 - Nov 25 | Thanksgiving break | |
| Nov 26 | Blockchains and Cryptocurrencies | |
| Nov 28 | Functional Encryption and Obfuscation - I | |
| Dec 3 | Functional Encryption and Obfuscation - II | |
| Dec 5 | Review Class |
Homeworks:
Useful Lecture Notes:
|
Useful Books:
|