SeCReT: Secure Channel between Rich Execution Environment and Trusted Execution Environment
HyperSentry: enabling stealthy in-context measurement of hypervisor integrity