| Week | Lecture | HW |
|---|---|---|
| 1 (11 Jan) | Threat | Threat Model |
| 2 (18 Jan) | Properties | |
| 3 (25 Jan) | Specifications | Diagram | 4 (01 Feb) | Entropy |
| 5 (08 Feb) | Logics | |
| 6 (15 Feb) | Automata | """Midterm""" |
| 7 (22 Feb) | ⚠️❄️⚠️ | ❄️⚠️❄️ |
| 8 (01 Mar) | Partition | Practice Midterm Exam |
| 9 (08 Mar) | Exam | |
| 10 (15 Mar) | Cryptography | LTL in R |
| 11 (22 Mar) | Conference Travel | |
| 12 (29 Mar) | Spring Break | |
| 13 (05 Apr) | Modulus | |
| 14 (12 Apr) | RSA | |
| 15 (19 Apr) | RSA or SHA |