Course Schedule Fall 2020

This schedule is subject to change. Please check back frequently.


Unit
 
Tuesday Lectures
 
Thursday Presentations
 
Assignments
(due Friday)
Week 1 Jan. 26
Syllabus OSS Chapter 1 - Introduction
Jan. 28
OSS Chapter 2 - Access Control Fundamentals
Week 2 Feb. 2
OSS Chapter 3 - Multics
Feb. 4
[Cutler et al., OSDI'18] [slides]
[Narayanan et al., OSDI'20][slides]
Week 3 Feb. 9
OSS Chapter 4 - Security in Ordinary Operating systems
Feb. 11
[Gruss et al., ESSoS'17] [slides]
[Schumilo et a., Security'17] [slides]
Week 4 Feb. 16
OSS Chapter 5 - Verifiable Security Goals
Feb. 18
[Shankar et al., NDSS'17] [slides]
[Cock et al., CCS'14] [slides]
Project Proposals
Week 5 Feb. 23
OSS Chapter 6 - Security Kernels
Feb. 25
[Mi et al., EuroSys'19] [slides]
[Elphinstone et al., SOSP'13] [slides]
Week 6 Mar. 2
OSS Chapter 7 - Securing Commercial Operating Systems
Mar. 4
[Boyd-Wickizer and Zeldovich, ATC'10] [slides]
[Ghavamnia et al, Security'20] [slides]
Week 7 Mar. 9
Mar. 11
[Skarlatos et al., ISCA'19] [slides]
[Behrens et al., OSDI'20] [slides]
Term Paper Components: Abstract, Intro, Background, Related Work
Week 8 Mar. 16
OSS Chapter 9 - Building a Secure OS for Linux
Mar. 18
[Cowan et al., LISA'00] [slides]
[Sailer et al., Security'04] [slides]
Week 9 Mar. 23
OSS Chapter 10 - Secure Capability Systems
Mar. 25
[Watson et al., Oakland'15] [slides]
[Davis et al., ASPLOS'19] [slides]
Experimental Proposal
Week 10 Mar. 30
OSS Chapter 11 - Secure Virtual Machine Systems
Apr. 1
[Liu et al., CCS'15]
[Colp et al., SOSP'11]
Week 11 Apr. 6
OSS Chapter 12 - System Assurance
Apr. 8
[Axelsson et al., NISSC'98] [slides]
[Haeberlen et al., OSDI'10] [slides]
Week 12 Apr. 13
UNIVERSITY BREAK DAY
Apr. 15
[Xiang and Chong., Oakland'21] [slides]
[Hong and Ding, Oakland'21] [slides]
Week 13 Apr. 20
OSS Chapter 8 - Solaris Trusted Extensions
Apr. 22
Office hours during normal class meeting times.
Presentation Components: Motivation, Overview, Status Slides
Week 14 Apr. 27
Office hours during normal class meeting times.
Apr. 29
Final Project Presentations 1 (Prof Bates' 10am lab meeting)

Final Project Presentations 2 (Normal Class Time)
Week 15 May 4
Closing Remarks
May 6
READING DAY
May 14: Term Papers due