CE 40-874: Secure Software Systems

Saturday/Monday 1700-1900
Room: VClass

                           Razieh Eskandari  
                           Maryam Ebrahimzadeh  

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