| 01/17/24 |
Coure introduction |
|
Dimitrios, Wenting |
|
| 01/19/24 |
Threat model, crypto basics |
|
Dimitrios, Wenting |
|
| 01/22/24 |
Sandboxing |
|
Dimitrios |
|
| 01/24/24 |
Virtualization |
|
Dimitrios |
|
| 01/26/24 |
Topic summary, class discussion |
|
|
|
| 01/29/24 |
Cloud co-location |
|
Dimitrios |
|
| 01/31/24 |
Caches + Spectre |
|
Dimitrios |
|
| 02/02/24 |
Topic summary, class discussion |
|
|
|
| 02/05/24 |
ORAM + ORAM in hardware |
|
Wenting |
|
| 02/07/24 |
Secure computation, FHE |
|
Wenting |
|
| 02/09/24 |
Topic summary, class discussion |
|
|
|
| 02/12/24 |
Rowhammer |
|
Dimitrios |
|
| 02/14/24 |
Guest lecture on Rowhammer |
|
Dimitrios |
|
| 02/16/24 |
Topic summary, class discussion |
|
|
|
| 02/19/24 |
Trusted execution environments |
|
Dimitrios |
|
| 02/21/24 |
Applications for SGX |
|
Dimitrios |
|
| 02/23/24 |
Topic summary, class discussion |
|
|
|
| 02/26/24 |
Secure channel, TOR, anonymous communication |
|
Wenting |
|
| 02/28/24 |
Certificate transparency |
|
Wenting |
|
| 03/01/24 |
Topic summary, class discussion |
|
|
|
| 03/04/24 |
Spring break! |
|
|
|
| 03/06/24 |
Spring break! |
|
|
|
| 03/08/24 |
Spring break! |
|
|
|
| 03/11/24 |
Introduction to blockchains, BFT, proof-of-work |
|
Wenting |
|
| 03/13/24 |
Proof-of-stake, smart contracts |
|
Wenting |
|
| 03/15/24 |
Topic summary, student discussion |
|
|
|
| 03/18/23 |
Symbolic execution |
|
Wenting |
|
| 03/20/23 |
Program verification |
|
Wenting |
|
| 03/22/23 |
Topic summary, student discussion |
|
|
|