Login / Signup
RedLeaf: Towards An Operating System for Safe and Verified Firmware.
Vikram Narayanan
Marek S. Baranowski
Leonid Ryzhyk
Zvonimir Rakamaric
Anton Burtsev
Published in:
HotOS (2019)
Keyphrases
</>
operating system
computer systems
distributed systems
virtual machine
memory management
data mining
multi tasking
application level
multi threaded
address space
red hat
windows xp
linux kernel
virtual memory
command line
data structure
database systems