@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 } @inproceedings {236276, author = {Shih-Wei Li and John S. Koh and Jason Nieh}, title = {Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {1357--1374}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/li-shih-wei}, publisher = {USENIX Association}, month = aug } @inproceedings {203167, author = {Christoffer Dall and Shih-Wei Li and Jason Nieh}, title = {Optimizing the Design and Implementation of the Linux {ARM} Hypervisor}, booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)}, year = {2017}, isbn = {978-1-931971-38-6}, address = {Santa Clara, CA}, pages = {221--233}, url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/dall}, publisher = {USENIX Association}, month = jul }