Class Time
Mondays, Wednesdays, and Fridays
2:00 - 2:50 PM
LEEP2 G415
Note: Topics will be posted as they approach. The plan is to post topics on Friday for the coming week. Unless otherwise specified, you should submit a report on every discussion paper.
Week | Date | Topic | Assignments | Notes | Videos |
---|---|---|---|---|---|
1 | 08/18 | Course Overview | survey,E1 | mp4, pdf, pptx | |
08/20 | Abstracting Code | E2 | mp4, pdf, pptx | ||
08/22 | LLVM Bitcode | P1,E3 | mp4, pdf, pptx | ||
2 | 08/25 | LLVM Memory | E4 | mp4, pdf, pptx | |
08/27 | LLVM Calls | E5 | mp4, pdf, pptx | ||
08/29 | Computability | E6 | mp4, pdf, pptx | ||
3 | 09/01 | Labor Day | |||
09/03 | Malware | ||||
09/05 | Memory Attacks | ||||
4 | 09/08 | Static Analysis | |||
09/10 | Control Flow | ||||
09/12 | QUIZ 1 | ||||
5 | 09/15 | Fixpoints | |||
09/17 | Lattices | ||||
09/19 | Abstract Interpretation | ||||
6 | 09/22 | Information Flow | |||
09/24 | Side Channels | ||||
09/26 | Dependency Analysis | ||||
7 | 09/29 | Program Slicing | |||
10/01 | Interprocedural Analysis | ||||
10/03 | Summary Functions | ||||
8 | 10/06 | Class Hierarchy Analysis | |||
10/08 | Points-To Analysis | ||||
10/10 | Program Instrumentation | ||||
9 | 10/13 | Fall Break | |||
10/15 | Static Instrumentation | ||||
10/17 | QUIZ 2 | ||||
10 | 10/20 | LLVM Instrumentation | |||
10/22 | Reference Monitors | ||||
10/24 | Control Flow Integrity | ||||
11 | 10/27 | Dynamic Analysis | |||
10/29 | Fuzzing | ||||
10/31 | Symbolic Execution | ||||
12 | 11/03 | Concolic Execution | |||
11/05 | Sat Solving | ||||
11/07 | SMT Solving | ||||
13 | 11/10 | SSDLC | |||
11/12 | Quiz 3 Review | ||||
11/14 | QUIZ 3 | ||||
14 | 11/17 | Linting | |||
11/19 | Secure Design | ||||
11/21 | Bug Isolation | ||||
15 | 11/24 | Supply Chain Security | |||
11/26 | Thanksgiving Break | ||||
11/28 | Thanksgiving Break | ||||
16 | 12/01 | Reverse Engineering | |||
12/03 | Principles of Secure Engineering | ||||
12/05 | Stop Day |