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.

Dual-core EFI-based Security Architecture

Design of Secure Operating System

Design and Implementation of SecPod, A Framework for Virtualization-Based Security Systems.

Dtee: A Declarative Approach to Secure IoT Applications Using TrustZone

Armlock: Hardware-Based Fault Isolation For Arm

A Trustenclave-Based Architecture for Ensuring Run-Time Security in Embedded Terminals

AES Efficient implementation for extensible firmware interface

Trusted Computing Base Using Virtualization Platform

Effectively Implement AES for EFI/Tiano Based on IA-32 Platform

A scalable cryptographic library for extensible firmware interface

SoK: Security Below the OS -- A Security Analysis of UEFI

Cerberus: A Novel Hypervisor to Provide Trusted and Isolated Code Execution

FEDTIC: A Security Design for Embedded Systems with Insecure External Memory

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

SecureD: A Secure Dual Core Embedded Processor

Template for Preparation of Manuscripts for Tsinghua Science and Technology

SmartVisor - towards an efficient and compatible virtualization platform for embedded system.

DITES: A Lightweight and Flexible Dual-Core Isolated Trusted Execution SoC Based on RISC-V

Built-in Security Computer: Deploying Security-First Architecture Using Active Security Processor

Key Technologies for Trusted Computing Environment on Embedded Terminal

Secure Encrypted Virtualization is Unsecure