Speculation invariance (invarspec): Faster safe execution through program analysis

© 2020 IEEE Computer Society. All rights reserved. Many hardware-based defense schemes against speculative execution attacks use special mechanisms to protect instructions while speculative, and lift the mechanisms when the instructions turn non-speculative. In this paper, we observe that speculativ...

Full description

Bibliographic Details
Main Authors: Zhao, ZN, Ji, H, Yan, M, Yu, J, Fletcher, CW, Morrison, A, Marinov, D, Torrellas, J
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: IEEE 2021
Online Access:https://hdl.handle.net/1721.1/137793