Shih-Wei Li

According to our database, Shih-Wei Li authored at least 15 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, 2024

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, 2024

Securing a Multiprocessor KVM Hypervisor with Rust.

Yu-Hsun Chiang, Wei-Lin Chang, Shih-Wei Li, Jan-Ting Tu

Proceedings of the 2024 ACM Symposium on Cloud Computing, 2024

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, 2024

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, 2024

2021

A Secure and Formally Verified Commodity Multiprocessor Hypervisor.

Shih-Wei Li

PhD thesis, 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, 2021

A Secure and Formally Verified Linux KVM Hypervisor.

Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

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 SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2019

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, 2019

2018

ARM Virtualization: Performance and Architectural Implications.

Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh

ACM SIGOPS Oper. Syst. Rev., 2018

2017

Optimizing the Design and Implementation of the Linux ARM Hypervisor.

Christoffer Dall, Shih-Wei Li, Jason Nieh

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

NEVE: Nested Virtualization Extensions for ARM.

Jin Tack Lim, Christoffer Dall, Shih-Wei Li, Jason Nieh, Marc Zyngier

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Identifying Android library dependencies in the presence of code obfuscation and minimization.

Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

ARM Virtualization: Performance and Architectural Implications.

Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, Georgios Koloventzos

Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016