Lecture: OS: CertiKOS

Date: 2/15/17

Reading

• Required reading: Deep Specifications and Certified Abstraction Layers, Ronghui Gu, Jeremie_Koenig, Tahina_Ramananandro, Zhong_Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, and Yu Guo, POPL, 2015.