Cloud Verifier: Verifiable Auditing Service for IaaS Clouds
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes