Sgx-Lapd: Thwarting Controlled Side Channel Attacks via Enclave Verifiable Page Faults
afrl - osr - va - tr - 2013 - 0439 autonomic recovery : hypercheck : a hardware - assisted integrity monitor .