Login / Signup
John Zhuang Hui
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Multithreading
Operating System
Shared Memory Multiprocessors
Memory Space
Top Venues
IEEE Symposium on Security and Privacy
USENIX Security Symposium
</>
Publications
</>
Shih-Wei Li
,
Xupeng Li
,
Ronghui Gu
,
Jason Nieh
,
John Zhuang Hui
A Secure and Formally Verified Linux KVM Hypervisor.
IEEE Symposium on Security and Privacy
(2021)
Shih-Wei Li
,
Xupeng Li
,
Ronghui Gu
,
Jason Nieh
,
John Zhuang Hui
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor.
USENIX Security Symposium
(2021)