To Isolate, or to Share? That is a Question for Intel SGX

EasyChair Preprint no. 428

Abstract

One cornerstone of computer security is hardware-based isolation mechanisms, among which an emerging technology named Intel Software Guard Extensions (SGX) offers arguably the strongest security on x86 architecture. Intel SGX enables user-level code to create trusted memory regions named enclaves, which are isolated from the rest of the system, including privileged system software. This strong isolation of SGX, however, forbids sharing any trusted memory between enclaves, making it difficult to implement any features or techniques that must share code or data between enclaves. This dilemma between isolation and sharing is especially challenging to system software for SGX (e.g., library OSes), to which both properties are highly desirable.

To resolve the tension between isolation and sharing in system software for SGX, especially library OSes, we propose a single-address-space approach, which runs all (user-level) processes and the library OS in a single enclave. This single-enclave architecture enables various memory-sharing features or techniques, thus improving both performance and usability. To enforce inter-process isolation and user-privilege isolation inside the enclave, we design a multi-domain software fault isolation (SFI) scheme, which is unique in its support for two types of domains: 1) data domains, which enable process isolation, and 2) code domains, which enable shared libraries. Our SFI is implemented efficiently by leveraging Intel Memory Protection Extensions (MPX). Experimental results show an average overhead of 10\%, thus demonstrating the practicality of our approach.

Keyphrases: Intel MPX, Intel SGX, Library OS, Software Fault Isolation

@Booklet{EasyChair:428,
  author = {Youren Shen and Yu Chen and Kang Chen and Hongliang Tian and Shoumeng Yan},
  title = {To Isolate, or to Share? That is a Question for Intel SGX},
  howpublished = {EasyChair Preprint no. 428},
  doi = {10.29007/p92s},
  year = {EasyChair, 2018}}