CS 528/428 Reading List, Spring 2020

CS 528/428 Reading List, Spring 2020

Last modified: April 22, 2020. This page is still under major construction!


Content


Background and Overview


Computer System Design


Spec, Implementation, Abstraction Function, and Invariant


C Memory Model and Clight


Compiler Verification and CompCert


Information-Flow Security for mCertiKOS


Certified Abstraction Layers


Secure Remote Execution of Enclaves


Smart Contract Security


HW Memory Model


Virtual Machine Monitors (VMM)


Microkernels


Capability-Based Systems


seL4


DIFC-Based OS


Coalgebra and Coinduction


Decentralized Information Flow Control


Declassification and Noninterference


Exokernel and VMM Security


Separation Logic and Rely-Guarantee Reasoning


Linearizability and Concurrent Objects


Copyright (c) 2009-2020, Zhong Shao, Dept. of Computer Science, Yale University.