University of Minnesota
Program Analysis for Security
index.php

Schedule

DateReading topicOther assignments
Monday 1/21No class, MLK Jr. Day holiday
Wednesday 1/23Introduction and logistics
Friday 1/25
Monday 1/28Dynamic taint analysis 1
Wednesday 1/30Dynamic taint analysis 2
Friday 2/1
Monday 2/4Symbolic execution 1First day for project discussion meetings
Wednesday 2/6Symbolic execution 2
Friday 2/8Symbolic execution assignment posted (delayed)
Monday 2/11Symbolic execution 3
Wednesday 2/13Static information flow 1
Friday 2/15Last day for project discussion meetings
Monday 2/18Static information flow 2
Wednesday 2/20Quantitative information flow 1
Friday 2/22
Monday 2/25Quantitative information flow 2Symbolic execution assignment due (extended)
Wednesday 2/27Software-based fault isolation (SFI)
Friday 3/1Project proposals due
Monday 3/4Native Client 1
Wednesday 3/6Native Client 2
Friday 3/8
Monday 3/11Control-flow integrity (CFI)
Wednesday 3/13More program hardening
Friday 3/15
Monday 3/18No class, spring break
Wednesday 3/20No class, spring break
Friday 3/22
Monday 3/25ROP and shellcodeBinary rewriting assignment posted (actual)
Wednesday 3/27Reverse engineering
Friday 3/29
Monday 4/1Binary rewriting discussion
Wednesday 4/3Java security
Friday 4/5
Monday 4/8Hardware-level and timing attacksBinary rewriting assignment Q1+Q2 due (extended)
Wednesday 4/10Cryptographic constructions
Friday 4/12Project interim reports due
Monday 4/15Program obfuscationBinary rewriting assignment Q3 due (extended)
Wednesday 4/17Test generation
Friday 4/19
Monday 4/22Bugs at scale
Wednesday 4/24Verification and specification
Friday 4/26
Monday 4/29Smartphone applications
Wednesday 5/1Web applications
Friday 5/3
Monday 5/6Project presentations
Wednesday 5/8Project presentations
Friday 5/10Project 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.