Delusional boot: securing hypervisors without massive re-engineering
Breaking up is hard to do: security and functionality in a commodity hypervisor