MI6: Secure Enclaves in a Speculative Out-of-Order Processor
Recent attacks have broken process isolation by exploiting microarchitectural side channels that allow indirect access to shared microarchitectural state. Enclaves strengthen the process abstraction to restore isolation guarantees. We propose MI6, an aggressively speculative out-of-order processor c...
Main Authors: | Bourgeat, Thomas, Lebedev, Ilia A., Wright, Andrew D., Zhang, Sizhuo, Arvind, Devadas, Srinivas |
---|---|
Other Authors: | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science |
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery (ACM)
2021
|
Online Access: | https://hdl.handle.net/1721.1/130076 |
Similar Items
-
Sanctorum: A lightweight security monitor for secure enclaves
by: Lebedev, Ilia A., et al.
Published: (2021) -
Invited Paper: Secure Boot and Remote Attestation in the Sanctum Processor
by: Lebedev, Ilia, et al.
Published: (2021) -
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors
by: Kiriansky, Vladimir L.(Vladimir Lubenov), et al.
Published: (2020) -
Specification and Verification of Strong Timing Isolation of Hardware Enclaves
by: Lau, Stella, et al.
Published: (2025) -
Design and Implementation of the Ascend Secure Processor
by: Ren, Ling, et al.
Published: (2021)