6 citations · 17 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023★ 3 cited
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall +2
Leakage contracts have recently been proposed as a new security abstraction at the Instruction Set Architecture (ISA) level. Such contracts aim to faithfully capture the informatio…
cs.CR2023★ 6 cited
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf +1
Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs. Recently, several testing tools have emerged to automatically detect spec…