SoK: Hardware Defenses Against Speculative Execution Attacks

Mapping Intimacies ◽

10.1109/seed51797.2021.00023 ◽

2021 ◽

Author(s):

Guangyuan Hu ◽

Zecheng He ◽

Ruby B. Lee

Keyword(s):

Speculative Execution

Download Full-text

Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)43740-2 ◽

1996 ◽

Vol 29 (6) ◽

pp. 9-17

Author(s):

Mohamed Younis ◽

Grace Tsai ◽

Thomas Marlowe ◽

Alexander Stoyenko

Keyword(s):

Formal Verification ◽

Real Time ◽

Speculative Execution ◽

Real Time Systems ◽

Transformation Rules ◽

Download Full-text

Speculative execution and branch prediction on parallel machines

Proceedings of the 7th international conference on Supercomputing - ICS '93 ◽

10.1145/165939.165958 ◽

1993 ◽

Author(s):

Kevin B. Theobald ◽

Guang R. Gao ◽

Laurie J. Hendren

Keyword(s):

Parallel Machines ◽

Branch Prediction ◽

Speculative Execution

Download Full-text

Speculative Privacy Tracking (SPT): Leaking Information From Speculative Execution Without Compromising Privacy

10.1145/3466752.3480068 ◽

2021 ◽

Author(s):

Rutvik Choudhary ◽

Jiyong Yu ◽

Christopher Fletcher ◽

Adam Morrison

Keyword(s):

Speculative Execution

Download Full-text

Analysis and Optimization of the Hadoop Speculative Execution Mechanism

International Journal of Simulation Systems Science & Technology ◽

10.5013/ijssst.a.17.45.37 ◽

2016 ◽

Author(s):

Guest Editor Jianping Du

Keyword(s):

Speculative Execution

Download Full-text

Harmonizing Speculative and Non-Speculative Execution in Architectures for Ordered Parallelism

2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) ◽

10.1109/micro.2018.00026 ◽

2018 ◽

Author(s):

Mark C. Jeffrey ◽

Victor A. Ying ◽

Suvinay Subramanian ◽

Hyun Ryong Lee ◽

Joel Emer ◽

...

Keyword(s):

Speculative Execution

Download Full-text

A Smart Strategy for Speculative Execution Based on Hardware Resource in a Heterogeneous Distributed Environment

International Journal of Grid and Distributed Computing ◽

10.14257/ijgdc.2016.9.2.18 ◽

2016 ◽

Vol 9 (2) ◽

pp. 203-214 ◽

Author(s):

Qi Liu ◽

Weidong Cai ◽

Zhangjie Fu ◽

Jian Shen ◽

Nigel Linge

Keyword(s):

Speculative Execution ◽

Distributed Environment ◽

Hardware Resource

Download Full-text

Improving MapReduce Performance with Progress and Feedback Based Speculative Execution

2017 IEEE International Conference on Smart Cloud (SmartCloud) ◽

10.1109/smartcloud.2017.25 ◽

2017 ◽

Author(s):

Ibrahim Adel Ibrahim ◽

Mostafa Bassiouni

Keyword(s):

Speculative Execution

Download Full-text

Speculative execution via address prediction and data prefetching

Proceedings of the 11th international conference on Supercomputing - ICS '97 ◽

10.1145/263580.263631 ◽

1997 ◽

Author(s):

José González ◽

Antonio González

Keyword(s):

Speculative Execution ◽

Data Prefetching

Download Full-text

Basis of parallel speculative execution

Euro-Par'97 Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0002713 ◽

1997 ◽

pp. 1-14

Author(s):

Paul Feautrier

Keyword(s):

Speculative Execution

Download Full-text

Automatic generation of I/O prefetching hints through speculative execution (poster session)

ACM SIGOPS Operating Systems Review ◽

10.1145/346152.346239 ◽

2000 ◽

Vol 34 (2) ◽

pp. 35 ◽

Author(s):

Fay Chang ◽

Garth Gibson

Keyword(s):

Poster Session ◽

Automatic Generation ◽

Speculative Execution

Download Full-text