Laboratory Director
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
Blog Post number 4
Published:
Blog Post number 3
Published:
Blog Post number 2
Published:
Blog Post number 1
Published:
portfolio
publications
ARM Virtualization: Performance and Architectural Implications
Published in ISCA 2016, 2016
Download here
Optimizing the Design and Implementation of the Linux ARM Hypervisor
Published in USENIX ATC 2017, 2017
Download here
NEVE: Nested Virtualization Extensions for ARM
Published in SOSP 2017, 2017
Download here
Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits
Published in USENIX Security 2019, 2019
Download here
A Secure and Formally Verified Linux KVM Hypervisor
Published in SP 2021, 2021
Download here
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Published in SOSP 2021, 2021
Download here
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
Published in USENIX Security 2021, 2021
Download here
talks
Talk 1 on Relevant Topic in Your Field
Published:
Tutorial 1 on Relevant Topic in Your Field
Published:
Talk 2 on Relevant Topic in Your Field
Published:
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
Teaching experience 2
Workshop, University 1, Department, 2015