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.


  This course is primarily based on the Computer Security course taught by Dan Boneh at Stanford University.




Course Material:

This is a tentative class schedule