EECS 677 - Secure Software Evaluation (Research)

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
1	08/26	Course Overview	survey,E1
	08/28	Abstracting Code	E2
	08/30	LLVM Bitcode	P1,E3
2	09/02	Labor Day
	09/04	LLVM Memory
	09/06	LLVM Calls	E4
3	09/09	Malware	E5
	09/11	Memory Attacks	E6
	09/13	QUIZ 1
4	09/16	Computability	E7
	09/18	Static Analysis	E8
	09/20	Control Flow	E9
5	09/23	Fixpoints	E10
	09/25	Lattices	E11
	09/27	Abstract Interpretation	P2,E12
6	09/30	Information Flow	R1,E13
	10/02	Side Channels	E14
	10/04	Dependency Analysis	E15
7	10/07	Program Slicing	E16
	10/09	Interprocedural Analysis	E17
	10/11	Summary Functions	E18
8	10/14	Fall Break
	10/16	Class Hierarchy Analysis	E19
	10/18	Points-To Analysis	E20
9	10/21	Program Instrumentation	E21
	10/23	Static Instrumentation	E22,R2
	10/25	LLVM Instrumentation	E23
10	10/28	QUIZ 2
	10/30	Reference Monitors	E24
	11/01	Control Flow Integrity	E25
11	11/04	Dynamic Analysis	E26
	11/06	Fuzzing	E27
	11/08	Symbolic Execution	E28
12	11/11	Concolic Execution	E29
	11/13	Sat Solving	E30
	11/15	SMT Solving	E31
13	11/18	SSDLC
	11/20	Quiz 3 Review	E32
	11/22	QUIZ 3
14	11/25	Linting	E33
	11/27	Thanksgiving Break
	11/29	Thanksgiving Break
15	12/02	Bug Isolation	E34
	12/04	Supply Chain Security	P3,E35
	12/06	Replacement Quiz
16	12/09	Reverse Engineering	P4,E36
	12/11	Principles of Secure Engineering
	12/13	Stop Day

EECS 677/777: Software Security Evaluation (Research)