HA-VMSI: A Lightweight Virtual Machine Isolation Approach with Commodity Hardware for ARM
afrl - osr - va - tr - 2013 - 0439 autonomic recovery : hypercheck : a hardware - assisted integrity monitor .