Keystone 论文

2020引用 357
Security and Verification in ComputingCloud Data Security SolutionsAdvanced Malware Detection Techniques

详细信息

发表日期
2020-04-15
发表年份
2020

关键词

Security and Verification in ComputingCloud Data Security SolutionsAdvanced Malware Detection Techniques

摘要

Trusted execution environments (TEEs) see rising use in devices from embedded sensors to cloud servers and encompass a range of cost, power constraints, and security threat model choices. On the other hand, each of the current vendor-specific TEEs makes a fixed set of trade-offs with little room for customization. We present Keystone---the first open-source framework for building customized TEEs. Keystone uses simple abstractions provided by the hardware such as memory isolation and a programmable layer underneath untrusted components (e.g., OS). We build reusable TEE core primitives from these abstractions while allowing platform-specific modifications and flexible feature choices. We showcase how Keystone-based TEEs run on unmodified RISC-V hardware and demonstrate the strengths of our design in terms of security, TCB size, execution of a range of benchmarks, applications, kernels, and deployment models.