CertiKOS: A certified kernel for secure cloud computing. (2011)

by L GU, A VAYNBERG, B FORD, Z SHAO, D COSTANZO
Venue:In Proceedings of the 2nd Asia-Pacific Workshop on Systems (APSys)