CE 40-874: Secure Software Systems

Saturday/Monday 1330-1500
Room: TBA CE Building

Office Hours:      Sat 16:30 to 17:00

Quick Links:   Description   Acknowledgment   Policies   Announcements   Homeworks   CourseMaterial


This is a graduate level course on secure software systems. The course covers topics such as Classical Attacks (Buffer Overflow, Format String, ROP, etc), Run-time Protection (i.e. Taint tracking, CFI, etc), Code Analysis (i.e. Static analysis, Symbolic execution, fuzzing), Secure Architectures (i.e. Sandboxing, VMs, Isolation, Trusted computing), Web (i.e. Native client, App isolation, and Languages (Type systems, WebAssembly). The syllabus for this course is inspired from the Secure Software Systems course taught at CMU.




Course Material:

This is a tentative class schedule