Shih-Wei Li

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Formal Verification

Shared Memory Multiprocessors

Dependency Graphs

Top Venues

USENIX Security Symposium

IEEE Symposium on Security and Privacy

USENIX Annual Technical Conference

Publications

Shou-Ching Hsiao, Shih-Wei Li, Hsu-Chun Hsiao
Risky Cohabitation: Understanding and Addressing Over-privilege Risks of Commodity Application Virtualization Platforms in Android. CODASPY (2024)
Fang-Jie Yang, Jian-Lin Li, Kaiwen Xue, Shih-Wei Li
Designing and Implementing Live Migration Support for Arm-based Confidential VMs. APSys (2024)
Hao-Jung Wei, Leng-Kai Lin, Chun-Yen Lin, Shih-Wei Li
Measuring and Optimizing the Performance of the Android Virtualization Framework. SAC (2024)
Yu-Chang Chen, Shih-Wei Li
HeMate: Enhancing Heap Security through Isolating Primitive Types with Arm Memory Tagging Extension. ARES (2024)
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
A Secure and Formally Verified Linux KVM Hypervisor. IEEE Symposium on Security and Privacy (2021)
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. SOSP (2021)
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. USENIX Security Symposium (2021)
Shih-Wei Li, John S. Koh, Jason Nieh
Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits. USENIX Security Symposium (2019)
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh
ARM Virtualization: Performance and Architectural Implications. ACM SIGOPS Oper. Syst. Rev. 52 (1) (2018)
Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier
NEVE: Nested Virtualization Extensions for ARM. SOSP (2017)
Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp
Identifying Android library dependencies in the presence of code obfuscation and minimization. ICSE (Companion Volume) (2017)
Christoffer Dall, Shih-Wei Li, Jason Nieh
Optimizing the Design and Implementation of the Linux ARM Hypervisor. USENIX Annual Technical Conference (2017)
Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Georgios Koloventzos
ARM Virtualization: Performance and Architectural Implications. ISCA (2016)