Peer-reviewed paper publications

Designing and Evaluating Live Migration of Confidential Virtual Machines for Commodity Arm CCA-based Platforms
_{Fang-Jie Yang, Tse-Wei Lin, Shih-Wei Li, (To appear in) 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).}

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.}

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).}

ARM Virtualization: Performance and Architectural Implications
_{Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, ACM SIGOPS Operating Systems Review.}

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).}