43 citations · 86 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CR2021
Revizor: Testing Black-box CPUs against Speculation Contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf +1
Speculative vulnerabilities such as Spectre and Meltdown expose speculative execution state that can be exploited to leak information across security domains via side-channels. Suc…
cs.DC2021★ 2 cited
T-Lease: A Trusted Lease Primitive for Distributed Systems
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko +3
A lease is an important primitive for building distributed protocols, and it is ubiquitously employed in distributed systems. However, the scope of the classic lease abstraction is…