USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is John Zhuang Hui [Clear All Filters]
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. 30th USENIX Security Symposium (USENIX Security 21). :3953--3970.
.
2021.