Shih-Wei Li

Orcid: 0009-0002-6883-5373

According to our database1, Shih-Wei Li authored at least 24 papers between 2016 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Designing and Evaluating Live Migration of Confidential Virtual Machines for Commodity Arm CCA-Based Platforms.
IEEE Trans. Computers, May, 2026

kvTZ: TrustZone Virtualization for Commodity Arm-Based Platforms.
IEEE Trans. Dependable Secur. Comput., 2026

Optimizing VM Performance Monitoring on Commodity x86 Platforms With PMU Passthrough.
IEEE Trans. Cloud Comput., 2026

Optimizing Launch Latency for Confidential VMs with Device Passthrough in the Linux KVM Hypervisor.
Proceedings of the 9th Workshop on System Software for Trusted Execution, 2026

Risky by Design? Evaluating Trust Assumptions in the Slack Application Ecosystem.
Proceedings of the 19th European Workshop on Systems Security, EuroSec 2026, 2026

2025
Strengthening Application Security through Integrity Protection of System Call Usage.
Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

Reload+Reload: Exploiting Cache and Memory Contention Side Channel on AMD SEV.
Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024
Measuring and Optimizing the Performance of the Android Virtualization Framework.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Performance Implications of SEV Virtual Machine Live Migration.
Proceedings of the Euro-Par 2024: Parallel Processing Workshops, 2024

Risky Cohabitation: Understanding and Addressing Over-privilege Risks of Commodity Application Virtualization Platforms in Android.
Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy, 2024

Securing a Multiprocessor KVM Hypervisor with Rust.
Proceedings of the 2024 ACM Symposium on Cloud Computing, 2024

Designing and Implementing Live Migration Support for Arm-based Confidential VMs.
Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems, 2024

SECvma: Virtualization-based Linux Kernel Protection for Arm.
Proceedings of the Annual Computer Security Applications Conference, 2024

HeMate: Enhancing Heap Security through Isolating Primitive Types with Arm Memory Tagging Extension.
Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2021
A Secure and Formally Verified Commodity Multiprocessor Hypervisor.
PhD thesis, 2021

Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor.
Proceedings of the 30th USENIX Security Symposium, 2021

A Secure and Formally Verified Linux KVM Hypervisor.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware.
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.
Proceedings of the 28th USENIX Security Symposium, 2019

2018
ARM Virtualization: Performance and Architectural Implications.
ACM SIGOPS Oper. Syst. Rev., 2018

2017
Optimizing the Design and Implementation of the Linux ARM Hypervisor.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

NEVE: Nested Virtualization Extensions for ARM.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Identifying Android library dependencies in the presence of code obfuscation and minimization.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
ARM Virtualization: Performance and Architectural Implications.
Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016


  Loading...