SubVirt: implementing malware with virtual machines | Synapse