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
|