CE 40-873: Secure Software Systems

Saturday/Monday 1630-1800
Room: 202 CE Building



                            Kavian AmirMozaffari   



Quick Links:   Description   Acknowledgment   Policies   Announcements   Homeworks   CourseMaterial

Description:

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.




Policies:


Announcements:

Homeworks:


Course Material:

This is a tentative class schedule

-6/30

-7/1

-7/6

-7/8/

-7/13

-7/15

-7/20

-7/22

-7/29

-8/4

-8/6

-8/11

-8/13

-8/18

-8/20

-8/27

-9/2

-9/4

-9/11

-9/16

-9/18

-9/23

-9/25

-9/30

-10/2