Towards sound detection of virtual machines
SubVirt: implementing malware with virtual machines