EECS 677 - Secure Software Evaluation (Research)

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
1	08/18	Course Overview	survey,E1	mp4, pdf, pptx
	08/20	Abstracting Code	E2	mp4, pdf, pptx
	08/22	LLVM Bitcode	P1,E3	mp4, pdf, pptx
2	08/25	LLVM Memory	E4	mp4, pdf, pptx
	08/27	LLVM Calls	E5	mp4, pdf, pptx
	08/29	Computability	E6	mp4, pdf, pptx
3	09/01	Labor Day
	09/03	Static Analysis	P2,E7	mp4, pdf, pptx
	09/05	Control Flow	E8	mp4, pdf, pptx
4	09/08	Fixpoints	E9	mp4, pdf, pptx
	09/10	Lattices	E10	mp4, pdf, pptx
	09/12	Dataflow Frameworks	E11	mp4, pdf, pptx
5	09/15	Malware	E12	mp4, pdf, pptx
	09/17	Memory Attacks	E13
	09/19	QUIZ 1
6	09/22	Information Flow
	09/24	Side Channels
	09/26	Dependency Analysis
7	09/29	Program Slicing
	10/01	Interprocedural Analysis
	10/03	Summary Functions
8	10/06	Class Hierarchy Analysis
	10/08	Points-To Analysis
	10/10	Program Instrumentation
9	10/13	Fall Break
	10/15	Static Instrumentation
	10/17	QUIZ 2
10	10/20	LLVM Instrumentation
	10/22	Reference Monitors
	10/24	Control Flow Integrity
11	10/27	Dynamic Analysis
	10/29	Fuzzing
	10/31	Symbolic Execution
12	11/03	Concolic Execution
	11/05	Sat Solving
	11/07	SMT Solving
13	11/10	SSDLC
	11/12	Quiz 3 Review
	11/14	QUIZ 3
14	11/17	Linting
	11/19	Secure Design
	11/21	Bug Isolation
15	11/24	Supply Chain Security
	11/26	Thanksgiving Break
	11/28	Thanksgiving Break
16	12/01	Reverse Engineering
	12/03	Principles of Secure Engineering
	12/05	Stop Day

EECS 677/777: Software Security Evaluation (Research)