Note: PANOPLY: Low-TCB Linux Applications with SGX Enclaves