CertiKOS: A Certified Kernel for Secure Cloud Computing
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity