Automatic Detection of Speculative Execution Combinations

Xaver Fabian, Marco Guarnieri, Marco Patrignani
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
ACM
Pages 965-978
2022
Note(s): side-channel, speculative execution, leakage contracts