8/31 |
Lecture |
L0 |
Course Introduction, Assembly intro (PDF and .key) |
9/2 |
Lecture |
L1 |
SoK: Eternal War in Memory, Sections I-III. |
9/7 |
Lecture |
L2 |
Shellcoding and memory (PDF and .key) |
9/9 |
Lecture |
L3 |
SoK: Eternal War in Memory, rest of the paper. |
9/14 |
Lecture |
L4 |
Return-Oriented Programming (PDF and .key) |
9/16 |
Lecture |
L5 |
The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) |
9/21 |
Lecture |
L6 |
Symbolic Execution (Steve Chong's slides) |
9/23 |
L7 |
Lecture |
Out of Control: Overcoming Control-Flow Integrity (whole paper) |
9/23 |
P |
Project |
Semester Project (PDF and .key) |
9/28 |
L |
Lecture |
Abstract interpretation (Steve Chong's slides) (Cousot's slides) |
9/30 |
L |
Lecture |
EXE: Automatically Generating Inputs of Death |