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.

Towards Memory Safe Enclave Programming with Rust-SGX

POSTER: Rust SGX SDK: Towards Memory Safety in Intel SGX Enclave.

Towards Memory Safe Python Enclave for Security Sensitive Computation

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

A Survey of Intel SGX and Its Applications.

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

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor

SmashEx: Smashing SGX Enclaves Using Exceptions

The Road to Trust: Building Enclaves within Confidential VMs

DynSGX: A Privacy Preserving Toolset for Dynamically Loading Functions into Intel(R) SGX Enclaves

Guardian: symbolic validation of orderliness in SGX enclaves

Protecting In-memory Data Cache with Secure Enclaves in Untrusted Cloud.

Designing a Provenance Analysis for SGX Enclaves

SGXKernel

EnclaveFuzz: Finding Vulnerabilities in SGX Applications

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

Detecting and Mitigating Cache Side Channel Threats on Intel SGX

Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX Apps Via Sparse Taint Analysis

End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs

See Through Walls: Detecting Malware in SGX Enclaves with SGX-Bouncer.