Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo. CertiKOS: a certified kernel for secure cloud computing. In Haibo Chen, Zheng Zhang, Sue Moon, Yuanyuan Zhou, editors, APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July 11-12, 2011. pages 3, ACM, 2011. [doi]
Abstract is missing.