"CertiKOS: a certified kernel for secure cloud computing."

Liang Gu et al. (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics