HA-VMSI: A Lightweight Virtual Machine Isolation Approach with Commodity Hardware for ARM
HyperSentry: enabling stealthy in-context measurement of hypervisor integrity