[論文レビュー] 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 は、仮想化拡張機能と TPM を活用してハードウェアによる隔離を実現する、オープンでクロスプラットフォーム対応の信頼実行環境（TEE）であり、既存の Intel SGX プログラムを最小限または変更なしに実行可能にする。このシステムは、リング-3、リング-0、またはホストの柔軟なエンクラーブ動作モードをサポートし、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.

研究の動機と目的

• 特定の CPU やファームウェアの変更なしに、既存の SGX アプリケーションをサポートするオープンでポータブルな TEE が不足している問題に対処すること。
• 既存の TEE における固定モードエンクラーブの制限を克服し、I/O 高負荷やメモリ集約的なワークロードに対してパフォーマンスと機能を制限しないこと。
• エンクラーブ管理を最小限の RustMonitor に隔離することで、信頼計算基盤（TCB）を縮小し、攻撃面を最小限に抑えること。
• TPM を用いた測定済みの遅延起動により、整合性とリモートアテステーションを確保すること。
• ユーザー、カーネル、またはホストリングの柔軟なエンクラーブ動作モードをサポートし、多様なセキュリティとパフォーマンス要件に応えること。

提案手法

• HyperEnclave は、AMD-V の仮想化拡張機能と TPM を使用して、カスタムハードウェアやファームウェアを必要としないプロセスベースの TEE を構築する。
• RustMonitor と呼ばれる、Rust で記述された最小限の信頼できるモニタを導入し、VMX ルートモードで実行してメモリ隔離とエンクラーブのページテーブル管理を強制する。
• システムは 3 つのモードで動作する：モニタ（RustMonitor）、通常（信頼できないプライマリ OS）、セキュア（エンクラーブ）。エンクラーブは柔軟な特権レベルで実行される。
• メモリ隔離は、信頼できる RustMonitor がエンクラーブのページテーブルとページフォールト処理を完全に管理することで実現され、OS の関与を排除し、ページテーブルベースの攻撃を緩和する。
• 測定済みの遅延起動によりセキュリティを確保：プライマリ OS が最初に起動し、その後カーネルモジュールが RustMonitor を起動し、すべてのブートコンponent を TPM の PCR に測定する。
• エンクラーブ SDK は Intel SGX と API 互換性があるため、既存の SGX コードをほとんど変更せず再コンパイル可能である。

実験結果

リサーチクエスチョン

• RQ1 特定の CPU やファームウェアの変更なしに、コンmodity ハードウェア上でプロセスベースの TEE を構築できるか？
• RQ2 ユーザー、カーネル、またはホストリングの柔軟なエンクラーブ動作モードを、多様なパフォーマンスとセキュリティ要件を満たす形で安全にサポートできるか？
• RQ3 TCB を最小限に抑えつつ SGX 互換アプリケーションをサポートする仮想化ベース TEE のパフォーマンスオーバーヘッドはどの程度か？
• RQ4 最小限で形式的に検証可能な信頼できるモニタを用いて、強力な隔離を実現し、攻撃面を縮小できるか？
• RQ5 独自の CPU 拡張機能に依存せずに、リモートアテステーションとセキュアブートを実現できるか？

主な発見

• HyperEnclave は公式の SGX SDK と互換性があるため、既存の SGX プログラムをほとんど変更せず、再コンパイル可能である。
• AMD サーバー上での ECALL と OCALL のオーバーヘッドは、それぞれ 9,700 サイクル未満、5,260 サイクル未塔であり、Intel SGX の 14,432 と 12,432 サイクルよりも顕著に低い。
• SQLite などの実世界のアプリケーションではパフォーマンスオーバーヘッドがわずか 5% に抑えられ、実用的な効率性が裏付けられている。
• 測定済みの遅延起動により、セキュアブートとリモートアテステーションを達成しており、すべてのブートコンponent が TPM の PCR に測定され、ロールバック攻撃を防止する。
• ページテーブル管理を信頼できる RustMonitor に完全に委ねることで、OS の関与を排除し、ページテーブルベースの側面攻撃を緩和し、攻撃面を最小限に抑える。
• コンmodity AMD サーバー上での実装により、HyperEnclave が本番環境での利用に適していることが示され、7,500 行の RustMonitor TCB を有し、世界的なフィンテック企業での成功裏な導入が確認された。