Sanctum: Minimal Hardware Extensions for Strong Software Isolation
Author(s)Costan, Victor; Lebedev, Ilia; Devadas, Srinivas
MetadataShow full item record
Sanctum offers the same promise as Intel’s Software Guard Extensions (SGX), namely strong provable isolation of software modules running concurrently and sharing resources, but protects against an important class of additional software attacks that infer private information from a program’s memory access patterns. Sanctum shuns unnecessary complexity, leading to a simpler security analysis. We follow a principled approach to eliminating entire attack surfaces through isolation, rather than plugging attack-specific privacy leaks. Most of Sanctum’s logic is implemented in trusted software, which does not perform cryptographic operations using keys, and is easier to analyze than SGX’s opaque microcode, which does. Our prototype targets a Rocket RISC-V core, an open implementation that allows any researcher to reason about its security properties. Sanctum’s extensions can be adapted to other processor cores, because we do not change any major CPU building block. Instead, we add hardware at the interfaces between generic building blocks, without impacting cycle time. Sanctum demonstrates that strong software isolation is achievable with a surprisingly small set of minimally invasive hardware changes, and a very reasonable overhead.
DepartmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Costan, Victor, Lebedev, Ilia and Devadas, Srinivas. 2016. "Sanctum: Minimal Hardware Extensions for Strong Software Isolation."
Author's final manuscript