All computing systems from embedded devices to server farms have operating systems that provide an abstraction for managing resources and running software. In addition to functional requirements, the operating system must run with integrity and provide security services to software.
This course considers these topics through foundational results and recent research in systems security. The course has two components. The first half of the semester we read, present, analyze, and discuss research papers from the major security conferences and journals. The second half of the semester students select, define, plan, conduct, and communicate their own original research projects on something related to systems security, and in the process develop or refine their research skills.