| Date | Syllabus | Reading | Note |
|---|---|---|---|
| Sep 03 & Sep 05 | Course Overview and Goals, Authenticated Data Structures I Homework 1 |
Required Reading: Dynamic Provable Data Possession Optional Reading: Dynamic Proofs of Retrievability via Oblivious RAM (If you do not know ORAM, you can also consider reading this after the ORAM class. I will post this paper again later.) | |
| Sep 10 & Sep 12 | Efficient cryptogrphic constructions for secure cloud computing: Authenticated Data Structures II, Proofs of retrievability Homework 2 |
Required Reading: Oblivious RAM with O(log N^3) Worst-Case Cost Optional Reading: Access Pattern disclosure on Searchable Encryption: Ramification, Attack and Mitigation | Project groups formed |
| Sep 17 & Sep 19 | Efficient cryptographic constructions for secure cloud computing: searchable encryption, Oblivious RAM Homework 3 |
Required Reading: A Proof of Security of Yao’s Protocol for Two-Party Computation (you may skip the formal definitions and proofs.) Optional Reading: Searchable Symmetric Encryption: Improved Definitions and Encryptioncient Constructions (we talked about a variant of this construction in class) | |
| Sep 24 & Sep 26 | Cryptographic constructions for general computation: Secure Multi-party Computation |
| Project proposal due |
| Oct 01 & Oct 03 | Cryptographic constructions for general computation: Secure Multi-party Computation Homework 4 |
Optional Reading: Lecture notes for the GMW protocol | |
| Oct 08 & Oct 10 | Secure Computation in the RAM Model Homework 5 |
Required Reading: Design and Implementation of a TCG-based Integrity Measurement Architecture Flicker: An Execution Infrastructure for TCB Minimization | |
| Oct 15 & Oct 17 | Secure hardware I |
| |
| Oct 22 & Oct 24 | Secure hardware II |
| |
| Oct 29 & Oct 31 | Implementing Secure Multiparty Computation and Verified Computation |
| |
| Nov 05 & Nov 07 | Programming language techniques I |
| Project milestone |
| Nov 12 & Nov 14 | Programming language techniques II |
| |
| Nov 19 & Nov 21 | Guest Lecture (TBD), Midterm |
| |
| Nov 26 & Nov 28 | Case Study I (28th is Thanksgiving holiday) |
| |
| Dec 03 & Dec 05 | Case Study II (or student-suggested topic) |
| |
| Dec 10 & Dec 12 | Project Presentations |
TBD |