Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor.
Shih-Wei LiXupeng LiRonghui GuJason NiehJohn Zhuang HuiPublished in: USENIX Security Symposium (2021)
Keyphrases
- virtual machine
- memory usage
- shared memory multiprocessors
- level parallelism
- computational power
- memory size
- operating system
- low memory
- memory space
- privacy protection
- main memory
- random access
- computing power
- limited memory
- multithreading
- associative memory
- single commodity
- shared memory multiprocessor
- control system