Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.

Robert Sison Scott Buckley Toby Murray Gerwin Klein Gernot Heiser

Published in: FM (2023)

Keyphrases

operating system
computer systems
distributed systems
virtual machine
microsoft windows
linux kernel
memory management
multi threaded
operating environment
information systems
application programs
multi tasking
object oriented
virtual memory