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...
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 |
Similar Items
-
Data-centric execution of speculative parallel programs
by: Jeffrey, Mark Christopher, et al.
Published: (2018) -
Harmonizing Speculative and Non-Speculative Execution in Architectures for Ordered Parallelism
by: Jeffrey, Mark C., et al.
Published: (2021) -
PACMAN: Attacking ARM Pointer Authentication with Speculative Execution
by: Ravichandran, Joseph, et al.
Published: (2022) -
Fractal: An Execution Model for Fine-Grain Nested Speculative Parallelism
by: Subramanian, Suvinay, et al.
Published: (2021) -
Efficiently mitigating transient execution attacks using the unmapped speculation contract
by: Behrens, J, et al.
Published: (2021)