| # | Date | Topic | Assignment | Speakers |
|---|---|---|---|---|
| 1 | 9/2 | Introduction | Form reading group | |
| 2 | 9/9 | Static analysis | Read Meta Compilation, KInt, skim Coverity, LLVM tutorial and LLVM | |
| 3 | 9/16 | Dynamic analysis | Read Pin, Valgrind memory checker, skim LD_PRELOAD trick and Detours | |
| 4 | 9/23 | More analysis | Read EXE, Baggy bounds checking | |
| 5 | 9/30 | Privacy | Skim TaintDroid. Read CleanOS, Pebble | Yang Tang, Riley Spahn |
| 6 | 10/7 | Debugging, Recovery, Auditing | Read Delta Debugging, Rx, Patch-based auditing | |
| 7 | 10/14 | Testing | Read Vmvm, Phosphor | Jonathan Bell |
| 8 | 10/21 | Web | Secure postMessage, Blueprint | Yinzhi Cao |
| 9 | 10/28 | Kernel security | Read KGuard, Ret2Dir | Vasileios P. Kemerlis |
| 10 | 11/4 | No class (Election Day) | ||
| 11 | 11/11 | Mobile | Read Race detection for Android, Android crash bugs | Gang Hu |
| 12 | 11/18 | Concurrency | Read Hybrid race detection, Parrot | Heming Cui |
| 13 | 11/25 | Research conference (day 1) | Present and demo your final project | |
| 14 | 12/2 | Research conference (day 2) | Present and demo your final project |
