Old Web
English
Sign In
Acemap
>
Paper
>
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
2021
Shih-Wei Li
Xupeng Li
Ronghui Gu
Jason Nieh
John Hui
Keywords:
Hypervisor
Multiprocessing
Operating system
Commodity (Marxism)
Computer science
Memory protection
Correction
Source
Cite
Save
Machine Reading By IdeaReader
26
References
1
Citations
NaN
KQI
[]