Panoply: Low-TCB Linux Applications with SGX Enclaves
Intel SGX Explained.