论文标题

ElasticLave:飞地的有效内存模型

Elasticlave: An Efficient Memory Model for Enclaves

论文作者

Yu, Zhijingcheng, Shinde, Shweta, Carlson, Trevor E., Saxena, Prateek

论文摘要

信任的执行环境(TEE),例如英特尔SGX,将用户空间应用程序隔离到安全的飞地中,而无需信任操作系统。因此,TEE减少了受信任的计算基础,但添加了一到两个数量级的速度。性能成本源于严格的内存模型,我们称之为空间隔离模型,该模型无法彼此共享内存区域。在这项工作中,我们提出了ElasticLave ---新的T恤存储器模型,该模型允许飞地选择性地暂时与其他飞地和OS共享内存。 ElasticLave消除了对昂贵的数据复制操作的需求,同时使用空间模型提供了尽可能的相同应用程序呈现的安全性。我们在RTL设计的循环级RISC-V核心上进行了原型弹性Lave设计,并观察到具有相同处理器配置的空间模型的1至2个数量级性能改进。 ElasticLave有一个小的TCB。我们发现,其性能特征和硬件区域足迹符合其配置为支持的共享内存区域的数量。

Trusted-execution environments (TEE), like Intel SGX, isolate user-space applications into secure enclaves without trusting the OS. Thus, TEEs reduce the trusted computing base, but add one to two orders of magnitude slow-down. The performance cost stems from a strict memory model, which we call the spatial isolation model, where enclaves cannot share memory regions with each other. In this work, we present Elasticlave---a new TEE memory model that allows enclaves to selectively and temporarily share memory with other enclaves and the OS. Elasticlave eliminates the need for expensive data copy operations, while offering the same level of application-desired security as possible with the spatial model. We prototype Elasticlave design on an RTL-designed cycle-level RISC-V core and observe 1 to 2 orders of magnitude performance improvements over the spatial model implemented with the same processor configuration. Elasticlave has a small TCB. We find that its performance characteristics and hardware area footprint scale well with the number of shared memory regions it is configured to support.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源