CE 40-815: Secure Software Systems

Saturday/Monday 1500-1700
Room: VClass

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.

This course was previously taught by the following course number [40-874]




Course Material: