Conference/Workshop papers
SECvma: Virtualization-Based Linux Kernel Protection For Arm (artifact)
Teh Beng Yen, Joey LI, Shih-Wei Li, (To appear in) Proceedings of the 2024 Annual Computer Security Applications Conference (ACSAC 24).
Securing a Multiprocessor KVM Hypervisor with Rust
Yu-Hsun Chiang, Wei-Lin Chang, Shih-Wei Li, Jan-Ting Du, Proceedings of the 15th Symposium on Cloud Computing (SoCC 24).
Designing and Implementing Live Migration Support for Arm-based Confidential VMs
Fang-Jie Yang, Jian-Lin Li, Kaiwen Xue, Shih-Wei Li, Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 24).
Performance Implications of SEV Virtual Machine Live Migration
Jian-Lin Li, Shih-Wei Li, (To appear in) Proceedings of the 19th Workshop on Virtualization in High-Performance Cloud Computing (VHPC 24).
HeMate: Enhancing Heap Security through Isolating Primitive Types with Arm Memory Tagging Extension
Yu-Chang Chen, Shih-Wei Li, Proceedings of the 19th International Conference on Availability, Reliability and Security (ARES 24).
Risky Cohabitation: Understanding and Addressing Over-privilege Risks of Commodity Application Virtualization Platforms in Android
Shou-Ching Hsiao, Shih-Wei Li, Hsu-Chun Hsiao, Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy (CODASPY 2024).
Measuring and Optimizing the Performance of the Android Virtualization Framework
Hao-Jung Wei, Leng-Kai Lin, Chun-Yen Lin, Shih-Wei Li, Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing (SAC 2024) (poster paper).
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu, Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP 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).
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).
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).
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).
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).
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).
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).
Posters & tech reports & talks
Virtualizing Arm TrustZone on KVM
Chun-Yen Lin, Shih-Wei Li, KVM Forum 2024, September 2024
Exploiting Cross Language Attacks against Rust for Linux
Yu-Ting Wang, Liang-Chun Chen, Shih-Wei Li, The 33rd USENIX Security Symposium (USENIX Security 2024).
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.