Shih-Wei Li

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

Collaborative distances:

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

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