Poster : Framework for Security Verification of Secure Processor Architectures
Architectural support for hypervisor-secure virtualization