Modeling and Analysis of State-of-the-art VM-based Cloud Management Platforms
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity