Resources

Class Time

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

Office Hours

W 9:30 - 1:30: 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/26Course Overviewsurvey,E1mp4, pdf, pptx
08/28Abstracting CodeE2mp4, pdf, pptxE2
08/30LLVM BitcodeP1,E3mp4, pdf, pptx
209/02Labor Day
09/04LLVM Memorymp4, pdf, pptx
09/06LLVM CallsE4mp4, pdf, pptx
309/09MalwareE5mp4, pdf, pptxE5
09/11Memory AttacksE6mp4, pdf, pptxE6
09/13QUIZ 1
409/16ComputabilityE7mp4, pdf, pptxE7
09/18Static AnalysisE8mp4, pdf, pptxE8
09/20Control FlowE9mp4, pdf, pptxE9
509/23FixpointsE10mp4, pdf, pptxE10
09/25LatticesE11mp4, pdf, pptxE11
09/27Abstract InterpretationP2,E12mp4, pdf, pptxE12
609/30Information FlowR1,E13mp4, pdf, pptxE13
10/02Side ChannelsE14mp4, pdf, pptxE14
10/04Dependency AnalysisE15mp4, pdf, pptxE15
710/07Program SlicingE16mp4, pdf, pptxE16
10/09Interprocedural AnalysisE17mp4, pdf, pptxE17
10/11Summary FunctionsE18mp4, pdf, pptxE18
810/14Fall BreakE18
10/16Class Hierarchy AnalysisE19mp4, pdf, pptxE19
10/18Points-To AnalysisE20mp4, pdf, pptxE20
910/21Program InstrumentationE21mp4, pdf, pptxE21
10/23Static InstrumentationE22,R2mp4, pdf, pptxE22
10/25LLVM InstrumentationE23mp4, pdf, pptxE23
1010/28QUIZ 2mp4
10/30Reference MonitorsE24mp4, pdf, pptx
11/01Control Flow IntegrityE25mp4, mp4, pdf, pptx
1111/04Dynamic AnalysisE26mp4, pdf, pptxE26
11/06FuzzingE27mp4, pdf, pptxE27
11/08Symbolic ExecutionE28mp4, pdf, pptxE28
1211/11Concolic ExecutionE29mp4, pdf, pptx
11/13Sat SolvingE30mp4, pdf, pptx
11/15SMT SolvingE31pdf, pptx, mp4
1311/18SSDLCE32pdf, pptx, mp4
11/20LintingE33mp4, pdf, pptx
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