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!


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)


Capability-Based Systems



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.