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 | 67 | 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 | 62 | 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 | 55 | 2019 |
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 | 40 | 2021 |
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 |
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 | 31 | 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 | 22 | 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 | 10 | 2018 |
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 |
Identifying and isolating library code in software applications SA Baset, SW Li, O Tripp, P Suter US Patent 10,423,408, 2019 | 7 | 2019 |
Systems, methods, and media for trusted hypervisors SW Li, LI Xupeng, R Gu, J Nieh US Patent App. 16/916,051, 2020 | 4 | 2020 |
A measurement study of ARM virtualization performance C Dall, SW Li, JT Lim, J Nieh | 4 | 2015 |
Risky Cohabitation: Understanding and Addressing Over-privilege Risks of Commodity Application Virtualization Platforms in Android SC Hsiao, SW Li, HC Hsiao Proceedings of the Fourteenth ACM Conference on Data and Application …, 2024 | | 2024 |
Measuring and Optimizing the Performance of the Android Virtualization Framework HJ Wei, LK Lin, CY Lin, SW Li Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 1533-1535, 2024 | | 2024 |
A Secure and Formally Verified Commodity Multiprocessor Hypervisor SW Li Columbia University, 2021 | | 2021 |