@inproceedings {272102, author = {Shih-Wei Li and Xupeng Li and Ronghui Gu and Jason Nieh and John Zhuang Hui}, title = {Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor}, booktitle = {30th USENIX Security Symposium (USENIX Security 21)}, year = {2021}, isbn = {978-1-939133-24-3}, pages = {3953--3970}, url = {https://www.usenix.org/conference/usenixsecurity21/presentation/li-shih-wei}, publisher = {USENIX Association}, month = aug }