A secure and formally verified Linux KVM hypervisor SW Li, X Li, R Gu, J Nieh, JZ Hui 2021 IEEE Symposium on Security and Privacy (SP), 1782-1799, 2021 | 59 | 2021 |
ARM virtualization: performance and architectural implications C Dall, SW Li, JT Lim, J Nieh, G Koloventzos ACM SIGARCH Computer Architecture News 44 (3), 304-316, 2016 | 58 | 2016 |
Protecting cloud virtual machines from hypervisor and host operating system exploits SW Li, JS Koh, J Nieh 28th USENIX Security Symposium (USENIX Security 19), 1357-1374, 2019 | 50 | 2019 |
NEVE: Nested virtualization extensions for ARM JT Lim, C Dall, SW Li, J Nieh, M Zyngier Proceedings of the 26th Symposium on Operating Systems Principles, 201-217, 2017 | 38 | 2017 |
Formally verified memory protection for a commodity multiprocessor hypervisor SW Li, X Li, R Gu, J Nieh, JZ Hui 30th USENIX Security Symposium (USENIX Security 21), 3953-3970, 2021 | 36 | 2021 |
Formal verification of a multiprocessor hypervisor on arm relaxed memory hardware R Tao, J Yao, X Li, SW Li, J Nieh, R Gu Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021 | 26 | 2021 |
Optimizing the Design and Implementation of the Linux {ARM} Hypervisor C Dall, SW Li, J Nieh 2017 USENIX Annual Technical Conference (USENIX ATC 17), 221-233, 2017 | 21 | 2017 |
Identifying android library dependencies in the presence of code obfuscation and minimization SA Baset, SW Li, P Suter, O Tripp 2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017 | 10 | 2017 |
ARM Virtualization: performance and architectural implications C Dall, SW Li, JT Lim, J Nieh ACM SIGOPS Operating Systems Review 52 (1), 45-56, 2018 | 9 | 2018 |
Identifying and isolating library code in software applications SA Baset, SW Li, O Tripp, P Suter US Patent 10,423,408, 2019 | 6 | 2019 |
A measurement study of ARM virtualization performance C Dall, SW Li, JT Lim, J Nieh | 4 | 2015 |
Systems, methods, and media for trusted hypervisors SW Li, LI Xupeng, R Gu, J Nieh US Patent App. 16/916,051, 2020 | 3 | 2020 |
A Secure and Formally Verified Commodity Multiprocessor Hypervisor SW Li Columbia University, 2021 | | 2021 |