4 citations · 5 across the 2 of their papers we have counts for
Showing cs.OSShow all
2 papers · 1 filter
cs.OS2023★ 1 cited
Proving the Absence of Microarchitectural Timing Channels
Scott Buckley, Robert Sison, Nils Wistoff +4
Microarchitectural timing channels are a major threat to computer security. A set of OS mechanisms called time protection was recently proposed as a principled way of preventing in…
cs.OS2016★ 4 cited
An Evaluation of Coarse-Grained Locking for Multicore Microkernels
Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis +2
The trade-off between coarse- and fine-grained locking is a well understood issue in operating systems. Coarse-grained locking provides lower overhead under low contention, fine-gr…