A Two-Step Execution Mechanism for Thin Secure Hypervisors | IEEE Conference Publication | IEEE Xplore