Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
Published in USENIX Security 2021, 2021
Download here
Published in USENIX Security 2021, 2021
Download here
Published in SOSP 2021, 2021
Download here
Published in SP 2021, 2021
Download here
Published in USENIX Security 2019, 2019
Download here
Published in SOSP 2017, 2017
Download here
Published in USENIX ATC 2017, 2017
Download here
Published in ISCA 2016, 2016
Download here