Abstract:The releases of Intel SGX and AMD SEV mark the transition of hardware-based enclaves from research prototypes to mainstream products. These two paradigms of secure enclaves are attractive to both the cloud providers and tenants, since security is one of the key pillars of cloud computing. However, it is found that current hardware-defined enclaves are not flexible and efficient enough for the cloud. For example, although SGX can provide strong memory protection with both confidentiality and integrity, the size of secure memory is tightly restricted. On the contrary, SEV enables enclaves to use more memory but has critical security flaws due to no memory integrity protection. Meanwhile, both types of enclaves have relatively long booting latency, which makes them not suitable for short-term tasks like serverless workloads. After an in-depth analysis, we find that there are some intrinsic tradeoffs between security and performance due to the limitation of architectural designs. In this article, we investigate a novel hardware-software co-design of enclaves to meet the requirements of cloud by placing a part of the logic of the enclave mechanism into a lightweight software layer, named Enclavisor, to achieve a balance between security, performance, and flexibility. Specifically, our implementation is based on AMD's SEV and, Enclavisor is placed in the guest kernel mode of SEV's secure virtual machines. Enclavisor inherently supports memory encryption with no memory limitation and also achieves efficient booting, multiple enclave granularities, and post-launch remote attestation. Meanwhile, we also propose hardware/software solutions to mitigate the security flaws caused by the lack of memory integrity. We implement a prototype of Enclavisor on an AMD SEV server. The experiments on both micro-benchmarks and application benchmarks show that enclaves on Enclavisor can have close-to-native performance.

A Hardware-Software Co-design for Efficient Intra-Enclave Isolation

Armlock: Hardware-Based Fault Isolation For Arm

Enclavisor: A Hardware-software Co-design for Enclaves on Untrusted Cloud

SGXLock: Towards Efficiently Establishing Mutual Distrust Between Host Application and Enclave for SGX

The Road to Trust: Building Enclaves within Confidential VMs

To Isolate, or to Share?

Efficiently Hardening SGX Enclaves against Memory Access Pattern Attacks via Dynamic Program Partitioning

Citadel: Real-World Hardware-Software Contracts for Secure Enclaves Through Microarchitectural Isolation and Controlled Speculation

Composite Enclaves: Towards Disaggregated Trusted Execution

SGX-LKL: Securing the Host OS Interface for Trusted Execution

Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX

Stockade: Hardware Hardening for Distributed Trusted Sandboxes

An Enclave-based TEE for SE-in-SoC in RISC-V Industry

The Heisenberg Defense: Proactively Defending SGX Enclaves against Page-Table-Based Side-Channel Attacks

Designing a Provenance Analysis for SGX Enclaves

HyperEnclave: an Open and Cross-platform Trusted Execution Environment

Computation offloading to hardware accelerators in Intel SGX and Gramine Library OS

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version

SGXKernel

Query Authentication Using Intel SGX for Blockchain Light Clients