Michael V. Le

According to our database, Michael V. Le authored at least 10 papers between 2021 and 2024.

Collaborative distances:

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

2024

SeaK: Rethinking the Design of a Secure Allocator for OS Kernel.

Zicheng Wang, Yicheng Guang, Yueqi Chen, Zhenpeng Lin, Michael V. Le, Dang K. Le, Dan Williams, Xinyu Xing, Zhongshu Gu, Hani Jamjoom

Proceedings of the 33rd USENIX Security Symposium, 2024

Fast (Trapless) Kernel Probes Everywhere.

Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom, Tianyin Xu

Proceedings of the 2024 USENIX Annual Technical Conference, 2024

2023

Towards a Formally Verified Security Monitor for VM-based Confidential Computing.

Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Elaine R. Palmer, Avraham Shinnar

CoRR, 2023

Practical and Flexible Kernel CFI Enforcement using eBPF.

Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom

Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023

Kernel extension verification is untenable.

Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

Sequence-based System Call Filtering for Enhanced Container Security, is it beneficial?

Somin Song, Sahil Suneja, Michael V. Le, Byungchul Tak

Proceedings of the 23rd IEEE/ACM International Symposium on Cluster, 2023

Securing Container-based Clouds with Syscall-aware Scheduling.

Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

On the Value of Sequence-Based System Call Filtering for Container Security.

Somin Song, Sahil Suneja, Michael V. Le, Byungchul Tak

Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023

2022

SecQuant: Quantifying Container System Call Exposure.

Sunwoo Jang, Somin Song, Byungchul Tak, Sahil Suneja, Michael V. Le, Chuan Yue, Dan Williams

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

Confidential computing for OpenPOWER.

Guerney D. H. Hunt, Ramachandra Pai, Michael V. Le, Hani Jamjoom, Sukadev Bhattiprolu, Rick Boivie, Laurent Dufour, Brad Frey, Mohit Kapur, Kenneth A. Goldman, Ryan Grimm, Janani Janakirman, John M. Ludden, Paul Mackerras, Cathy May, Elaine R. Palmer, Bharata Bhasker Rao, Lawrence Roy, William A. Starke, Jeff Stuecheli, Enriquillo Valdez, Wendel Voigt

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021