- Homework 1: Experiencing buffer overflows. Due time: Sept 14th 6pm.
- Homework 2: Experiencing format string vulnerabilities. Due date: Sept 27th 2:35pm.
- Homework 3: Reference Monitors. Due date: Oct 18th 2:35pm.
- Homework 4: LLVM bitcode rewriting for security. Part 3 due on Nov 1st at 2:30pm and part 4 due on Nov 8th at 2:30pm.
- Homework 5: Hoare Logic. Due on Nov 20th at 2:30pm.
- Homework 6: Symbolic Execution. Due on Dec 6th at 2:30pm.