publications
Conference papers
-
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, and Ronghui Gu, Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP 2021), October 2021. -
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui, Proceedings of the 30th USENIX Security Symposium (USENIX Security 2021), Vancouver, British Columbia, Canada, August 2021. -
A Secure and Formally Verified Linux KVM Hypervisor
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui, Proceedings of the 2021 IEEE Symposium on Security and Privacy (SP 2021), Virtual, May 2021. -
Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits
Shih-Wei Li, John S. Koh, Jason Nieh, Proceedings of the 28th USENIX Security Symposium (USENIX Security 2019), Santa Clara, CA, USA, August 2019. -
NEVE: Nested Virtualization Extensions for ARM
Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier, Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP 2017), Shanghai, China, October 2017. -
Optimizing the Design and Implementation of the Linux ARM Hypervisor
Christoffer Dall, Shih-Wei Li, Jason Nieh, 2017 USENIX Annual Technical Conference (USENIX ATC 2017), Santa Clara, CA, USA, July 2017. -
ARM Virtualization: Performance and Architectural Implications
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Georgios Koloventzos, Proceedings of the 43rd International Symposium on Computer Architecture (ISCA 2016), Seoul, Korea, June 2016.
Tech reports & Invited/Poster papers
-
ARM Virtualization: Performance and Architectural Implications
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, ACM SIGOPS Operating Systems Review, August 2018. -
Identifying Android library dependencies in the presence of code obfuscation and minimization
Salman A. Baset, Shih-Wei Li, Philippe Suter, Omer Tripp, Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C 2017), Buenos Aires, Argentina, May 2017. -
A Measurement Study of ARM Virtualization Performance
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Technical Report CUCS-021-15, Department of Computer Science, Columbia University, November 2015.