Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture in Electronic Design Automation

Victor Costan , Ilia Lebedev , Srinivas Devadas