Resources

Class Time

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

Office Hours

TBA


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
108/26Course Overviewsurvey,E1mp4, pdf, pptx
08/28Abstracting CodeE2mp4, pdf, pptx
08/30LLVM BitcodeP1,E3mp4, pdf, pptx
209/02Labor Day
09/04LLVM Memorymp4, pdf, pptx
09/06LLVM CallsE4mp4, pdf, pptx
309/09MalwareE5mp4, pdf, pptx
09/11Memory AttacksE6mp4, pdf, pptx
09/13QUIZ 1
409/16ComputabilityE7mp4, pdf, pptx
09/18Static AnalysisE8mp4, pdf, pptx
09/20Control FlowE9mp4, pdf, pptx
509/23FixpointsE10mp4, pdf, pptx
09/25LatticesE11mp4, pdf, pptx
09/27Abstract InterpretationP2,E12mp4, pdf, pptx
609/30Information FlowR1,E13mp4, pdf, pptx
10/02Side ChannelsE14mp4, pdf, pptx
10/04Dependency AnalysisE15mp4, pptx
710/07Program SlicingE16mp4, pdf, pptx
10/09Interprocedural AnalysisE17mp4, pdf, pptx
10/11Summary FunctionsE18mp4, pdf, pptx
810/14Fall Break
10/16Class Hierarchy Analysis
10/18Points-To Analysis
910/21QUIZ 2
10/23Dynamic Analysis
10/25Fuzzing
1010/28SSDLC
10/30Linting
11/01Control Flow Integrity
1111/04Program Instrumentation
11/06Static Instrumentation
11/08LLVM Instrumentation
1211/11Reference Monitors
11/13Symbolic Execution
11/15Concolic Execution
1311/18Sat Solving
11/20SMT Solving
11/22QUIZ 3
1411/25Principles of Secure Engineering
11/27Thanksgiving Break
11/29Thanksgiving Break
1512/02Bug Isolation
12/04Supply Chain Security
12/06Reverse Engineering
1612/09Static Review
12/11Dynamic Review
12/13Stop Day