Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.

Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser

Browse the full FM paper archive.