Cloud security is not (just) virtualization security: a short paper
Copilot - a coprocessor-based kernel runtime integrity monitor