SICE: a hardware-level strongly isolated computing environment for x86 multi-core platforms
afrl - osr - va - tr - 2013 - 0439 autonomic recovery : hypercheck : a hardware - assisted integrity monitor .