TWC: Medium: Collaborative: Systems, Tools, and Techniques for Executing, Managing, and Securing SGX Programs

英特尔软件防护扩展（SGX）是一项新技术，用于在恶劣环境中实现安全可靠的计算。然而，SGX仅仅是一组指令。它的软件支持，包括操作系统支持，工具链和库，目前以封闭的方式开发，将其影响限制在英特尔和微软等大公司的边界内。同时，SGX不会自动保护一切，它仍然面临各种攻击，如受控侧通道和飞地内存损坏。本研究探讨了如何使应用程序开发人员能够安全地使用SGX指令，并提供开源软件支持，包括工具链、编程抽象（例如库）和操作系统支持（例如内核模块）。此外，本研究系统地探索了保护SGX程序免受enclave本身攻击和击败底层操作系统恶意使用SGX所需的系统和软件防御。

The Intel Software Guard Extensions (SGX) is a new technology introduced to make secure and trustworthy computing in a hostile environment practical. However, SGX is merely just a set of instructions. Its software support that includes the OS support, toolchain and libraries, is currently developed in a closed manner, limiting its impact only within the boundary of big companies such as Intel and Microsoft. Meanwhile, SGX does not automatically secure everything and it still faces various attacks such as controlled-side channel and enclave memory corruption.This research investigates how to enable application developers to securely use the SGX instructions, with an open source software support including a toolchain, programming abstractions (e.g., library), and operating system support (e.g., kernel modules). In addition, this research systematically explores the systems and software defenses necessary to secure the SGX programs from the enclave itself and defeat the malicious use of SGX from the underlying OS.