[论文解读] HyperEnclave: An Open and Cross-platform Trusted Execution Environment

Yuekai Jia, Shuang Liu+5 more|arXiv (Cornell University)|Dec 8, 2022

Security and Verification in Computing被引用 5

一句话总结

HyperEnclave 是一个开放的、跨平台的可信执行环境（TEE），利用虚拟化扩展和 TPM 实现硬件隔离，使现有 Intel SGX 程序在极少或无需代码修改的情况下运行。它支持灵活的飞地操作模式（用户态、内核态或主机态），并实现低开销——SQLite 的开销仅 5%，适用于云和金融科技环境的生产部署。

ABSTRACT

A number of trusted execution environments (TEEs) have been proposed by both academia and industry. However, most of them require specific hardware or firmware changes and are bound to specific hardware vendors (such as Intel, AMD, ARM, and IBM). In this paper, we propose HyperEnclave, an open and cross-platform process-based TEE that relies on the widely-available virtualization extension to create the isolated execution environment. In particular, HyperEnclave is designed to support the flexible enclave operation modes to fulfill the security and performance demands under various enclave workloads. We provide the enclave SDK to run existing SGX programs on HyperEnclave with little or no source code changes. We have implemented HyperEnclave on commodity AMD servers and deployed the system in a world-leading FinTech company to support real-world privacy-preserving computations. The evaluation on both micro-benchmarks and application benchmarks shows the design of HyperEnclave introduces only a small overhead.

研究动机与目标

• 解决现有 TEE 缺乏开源、可移植性，且无法在不修改硬件或固件的情况下支持现有 SGX 应用的问题。
• 克服现有 TEE 中固定模式飞地的局限性，这些局限性限制了 I/O 密集型或内存密集型工作负载的性能和功能。
• 通过将飞地管理隔离在最小化的 RustMonitor 中，减少可信计算基（TCB），从而最小化攻击面。
• 通过 TPM 实现安全、可度量的延迟启动，以确保完整性并支持远程证明。
• 支持灵活的飞地操作模式（用户态、内核态或主机态），以满足多样化的安全与性能需求。

提出的方法

• HyperEnclave 利用虚拟化扩展（AMD-V）和 TPM，在无需定制硬件或固件的情况下，构建基于进程的 TEE。
• 它引入了 RustMonitor，一个用 Rust 编写的最小可信监控器，运行在 VMX 根模式下，用于强制执行内存隔离并管理飞地页表。
• 系统运行在三种模式下：监控模式（RustMonitor）、普通模式（不受信的主操作系统）和安全模式（飞地），飞地可在灵活的特权级别下运行。
• 通过由可信的 RustMonitor 完全管理飞地的页表和页故障处理，强制执行内存隔离，完全排除操作系统的参与，从而抵御基于页表的攻击。
• 通过可度量的延迟启动确保安全性：主操作系统首先启动，随后通过内核模块加载 RustMonitor，并将所有启动组件度量到 TPM 的 PCR 中。
• 飞地 SDK 与 Intel SGX 的 API 兼容，使现有 SGX 代码可重新编译，仅需极少或无需源代码修改。

实验结果

研究问题

• RQ1 能否在通用硬件上构建基于进程的 TEE，而无需特定 CPU 或固件修改？
• RQ2 如何安全地支持灵活的飞地操作模式（用户态、内核态或主机态），以满足多样化的性能与安全需求？
• RQ3 一个基于虚拟化的 TEE，支持与 SGX 兼容的应用程序且 TCB 极小，其性能开销是多少？
• RQ4 能否使用最小化、形式化可验证的可信监控器实现强隔离，同时减少攻击面？
• RQ5 如何在不依赖专有 CPU 扩展的情况下实现远程证明和安全启动？

主要发现

• 由于与官方 SGX SDK 的 API 兼容，HyperEnclave 可在极少或无需修改源代码的情况下支持现有 SGX 程序。
• 在 AMD 服务器上，ECALL 和 OCALL 的开销分别低于 9,700 和 5,260 个周期，显著低于 Intel SGX 的 14,432 和 12,432 个周期。
• 在 SQLite 等真实应用场景中，性能开销仅为 5%，展现出强大的实际效率。
• 通过可度量的延迟启动实现安全启动和远程证明，所有启动组件均被度量到 TPM PCR 中，防止回滚攻击。
• 通过将页表管理完全委托给可信的 RustMonitor，完全消除操作系统的参与，从而最小化攻击面，并抵御基于页表的侧信道攻击。
• 在通用 AMD 服务器上的实现表明，HyperEnclave 适用于生产环境，其 RustMonitor TCB 仅 7,500 行代码，并已在一家世界领先的金融科技公司成功部署。