Peer-reviewed paper publications
Optimizing Launch Latency for Confidential VMs with Device Passthrough in the Linux KVM Hypervisor
Hao-Jung Wei, Shih-Wei Li, Proceedings of the 9th Workshop on System Software for Trusted Execution (SysTEX 2026). Co-located with European Conference on Computer Systems 2026 (EuroSys 2026).
Risky by Design? Evaluating Trust Assumptions in the Slack Application Ecosystem
Shou-Ching Hsiao, Shih-Wei Li, Hsu-Chun Hsiao, Proceedings of the 9th European Workshop on Systems Security (EuroSec 2026). Co-located with European Conference on Computer Systems 2026 (EuroSys 2026).
Designing and Evaluating Live Migration of Confidential Virtual Machines for Commodity Arm CCA-based Platforms
Fang-Jie Yang, Tse-Wei Lin, Shih-Wei Li, IEEE Transactions on Computers (TC). Accepted: February 2026.
Optimizing VM Performance Monitoring on Commodity x86 Platforms with PMU Passthrough
Jian-Hao Chen, Shih-Wei Li, Yu-Hsun Wang, IEEE Transactions on Cloud Computing (TCC). Jan.-Mar. 2026, pp. 352-364, vol. 14. (preprint). Accepted: November 2025.
kvTZ: TrustZone Virtualization for Commodity Arm-based Platforms
Chun-Yen Lin, Shih-Wei Li, IEEE Transactions on Dependable and Secure Computing (TDSC). Jan.-Feb. 2026, pp. 290-297, vol. 23. Accepted: September 2025.
Compartment, Crash, and Continue: Toward Resilient Monolithic OS Kernels
Shih-Wei Li, Shih-Hung Tang, Yi-Lin Hsu, Proceedings of 3rd Workshop on Kernel Isolation, Safety and Verification (KISV 25). Co-located with the 31st Symposium on Operating Systems Principles (SOSP 25).
Reload+Reload: Exploiting Cache and Memory Contention Side Channel on AMD SEV
Li-Chung Chiang, Shih-Wei Li, Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (ASPLOS 25).
ArtifactSecurity Bulletin
Strengthening Application Security through Integrity Protection of System Call Usage
Chih-Kai Hsu, Yung-Chi Tseng, Shih-Wei Li, Yihui Lin, Wei-Cheng Tian, Lap Chung Lam, Yu-Chen Liu, Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC 2025).
SECvma: Virtualization-Based Linux Kernel Protection For Arm
Teh Beng Yen, Joey LI, Shih-Wei Li, Proceedings of the 2024 Annual Computer Security Applications Conference (ACSAC 24).
Artifact
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, Proceedings of the 19th Workshop on Virtualization in High-Performance Cloud Computing (VHPC 24). Co-located with the 30th International European Conference on Parallel and Distributed Computing (EuroPar 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).
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 17).
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 & talks
Toward Push-Button Verification of Page Table Management Code in Commodity Operating Systems
Yi-Fan Lin, Yu-Fang Chen, Shih-Wei Li, The 31st ACM Symposium on Operating Systems Principles (SOSP 2025). (Poster).
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). (Poster).