SoK: Introspections on Trust and the Semantic Gap
Xen and the art of virtualization