SoK: Introspections on Trust and the Semantic Gap
EXTERIOR: using a dual-VM based external shell for guest-OS introspection, configuration, and recovery