Main navigation | Main content
Date | Reading topic | Other assignments |
---|---|---|
Monday 1/21 | No class, MLK Jr. Day holiday | |
Wednesday 1/23 | Introduction and logistics | |
Friday 1/25 | ||
Monday 1/28 | Dynamic taint analysis 1 | |
Wednesday 1/30 | Dynamic taint analysis 2 | |
Friday 2/1 | ||
Monday 2/4 | Symbolic execution 1 | First day for project discussion meetings |
Wednesday 2/6 | Symbolic execution 2 | |
Friday 2/8 | Symbolic execution assignment posted (delayed) | |
Monday 2/11 | Symbolic execution 3 | |
Wednesday 2/13 | Static information flow 1 | |
Friday 2/15 | Last day for project discussion meetings | |
Monday 2/18 | Static information flow 2 | |
Wednesday 2/20 | Quantitative information flow 1 | |
Friday 2/22 | ||
Monday 2/25 | Quantitative information flow 2 | Symbolic execution assignment due (extended) |
Wednesday 2/27 | Software-based fault isolation (SFI) | |
Friday 3/1 | Project proposals due | |
Monday 3/4 | Native Client 1 | |
Wednesday 3/6 | Native Client 2 | |
Friday 3/8 | ||
Monday 3/11 | Control-flow integrity (CFI) | |
Wednesday 3/13 | More program hardening | |
Friday 3/15 | ||
Monday 3/18 | No class, spring break | |
Wednesday 3/20 | No class, spring break | |
Friday 3/22 | ||
Monday 3/25 | ROP and shellcode | Binary rewriting assignment posted (actual) |
Wednesday 3/27 | Reverse engineering | |
Friday 3/29 | ||
Monday 4/1 | Binary rewriting discussion | |
Wednesday 4/3 | Java security | |
Friday 4/5 | ||
Monday 4/8 | Hardware-level and timing attacks | Binary rewriting assignment Q1+Q2 due (extended) |
Wednesday 4/10 | Cryptographic constructions | |
Friday 4/12 | Project interim reports due | |
Monday 4/15 | Program obfuscation | Binary rewriting assignment Q3 due (extended) |
Wednesday 4/17 | Test generation | |
Friday 4/19 | ||
Monday 4/22 | Bugs at scale | |
Wednesday 4/24 | Verification and specification | |
Friday 4/26 | ||
Monday 4/29 | Smartphone applications | |
Wednesday 5/1 | Web applications | |
Friday 5/3 | ||
Monday 5/6 | Project presentations | |
Wednesday 5/8 | Project presentations | |
Friday 5/10 | Project final reports due |
Below is the original list of possible second-half topics, of which a compressed subset are found in the schedule above:
The bibliography of assigned and optional papers is also available in BibTeX format: .bib file, .tex file, PDF.