@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
}
