InSpectre: Breaking and fixing microarchitectural vulnerabilities by formal analysis
Roberto Guanciale, Musard Balliu, Mads Dam[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security
CCS '20
Virtual Event, USA
Association for Computing Machinery
New York, NY, USA
Pages 1853-1869
2020
Note(s): side channel, microarchitecture, speculative execution
CCS '20
Virtual Event, USA
Association for Computing Machinery
New York, NY, USA
Pages 1853-1869
2020
Note(s): side channel, microarchitecture, speculative execution