Resources

Class Time

Mondays, Wednesdays, and Fridays
2:00 - 2:50 PM
LEEP2 G415

Office Hours

W 9:00 - 12:00: Eaton 2050
F 12:00 - 1:45: Eaton 2050

Links

Canvas (grades and submissions) here
Piazza (discussion) here

Syllabus

Course policies, grading, etc.
You know what a syllabus is.
EECS 677: here. EECS 777: here.

Class Schedule

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
108/18Course Overviewsurvey,E1mp4, pdf, pptx
08/20Abstracting CodeE2mp4, pdf, pptx
08/22LLVM BitcodeP1,E3mp4, pdf, pptx
208/25LLVM MemoryE4mp4, pdf, pptx
08/27LLVM CallsE5mp4, pdf, pptx
08/29ComputabilityE6mp4, pdf, pptx
309/01Labor Day
09/03Malware
09/05Memory Attacks
409/08Static Analysis
09/10Control Flow
09/12QUIZ 1
509/15Fixpoints
09/17Lattices
09/19Abstract Interpretation
609/22Information Flow
09/24Side Channels
09/26Dependency Analysis
709/29Program Slicing
10/01Interprocedural Analysis
10/03Summary Functions
810/06Class Hierarchy Analysis
10/08Points-To Analysis
10/10Program Instrumentation
910/13Fall Break
10/15Static Instrumentation
10/17QUIZ 2
1010/20LLVM Instrumentation
10/22Reference Monitors
10/24Control Flow Integrity
1110/27Dynamic Analysis
10/29Fuzzing
10/31Symbolic Execution
1211/03Concolic Execution
11/05Sat Solving
11/07SMT Solving
1311/10SSDLC
11/12Quiz 3 Review
11/14QUIZ 3
1411/17Linting
11/19Secure Design
11/21Bug Isolation
1511/24Supply Chain Security
11/26Thanksgiving Break
11/28Thanksgiving Break
1612/01Reverse Engineering
12/03Principles of Secure Engineering
12/05Stop Day