Cloud Verifier: Verifiable Auditing Service for IaaS Clouds
NOVA: a microhypervisor-based secure virtualization architecture