1. A Secure and Formally Verified Commodity Multiprocessor Hypervisor Li, Shih-Wei 2021 Theses Computer scienceMultiprocessors--ProgrammingComputer securityVirtual computer systemsLinux
2. The Design, Implementation, and Evaluation of Software and Architectural Support for Nested Virtualization on Modern Architectures Lim, Jin Tack 2021 Theses Computer scienceComputer architectureVirtual computer systemsCloud computingApplication software
3. The Design, Implementation, and Evaluation of Software and Architectural Support for ARM Virtualization Dall, Christoffer 2018 Theses Computer scienceComputer architectureVirtual computer systemsRISC microprocessors