HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity
Xen and the art of virtualization