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

Surveys the state of the art in secure processor systems, with a specific focus on remote software attestation and software isolation. This two part work advocates a principled, transparent approach to system design, and argues that practical guarantees of privacy and integrity for remote computation are achievable.