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…