Resources

Class Time

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

Office Hours

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

Links

Canvas (grades and submissions) here

Syllabus

Course policies, grading, etc.
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/24Course Overviewsurvey,E1
08/26Abstracting Code
08/28LLVM Bitcode
208/31LLVM Memory
09/02LLVM Calls
09/04Computability
309/07Labor Day
09/09Static Analysis
09/11Control Flow
409/14Fixpoints
09/16Lattices
09/18Dataflow Frameworks
509/21Malware
09/23Quiz 1 Review
09/25QUIZ 1
609/28Information Flow
09/30Side Channels
10/02Dependency Analysis
710/05Program Slicing
10/07Interprocedural Analysis
10/09Summary Functions
810/12Class Hierarchy Analysis
10/14Points-To Analysis
10/16Program Instrumentation
910/19Fall Break
10/21Quiz 2 Review
10/23QUIZ 2
1010/26Static Instrumentation
10/28LLVM Instrumentation
10/30Reference Monitors
1111/02Control Flow Integrity
11/04Dynamic Analysis
11/06Symbolic Execution
1211/09Concolic Execution
11/11Sat Solving
11/13SMT Solving
1311/16Web Security
11/18Web Protections
11/20Web Authentication
1411/23QUIZ 3
11/25Thanksgiving Break
11/27Thanksgiving Break
1511/30Web Frameworks
12/02Full-Stack Security
12/04Supply Chain Security
1612/07Linting
12/09Bug Isolation
12/11Secure Design