Michael V. Le

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Inference Control

Kernel Regression

Top Venues

Publications

Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom, Tianyin Xu
Fast (Trapless) Kernel Probes Everywhere. USENIX ATC (2024)
Zicheng Wang, Yicheng Guang, Yueqi Chen, Zhenpeng Lin, Michael V. Le, Dang K. Le, Dan Williams, Xinyu Xing, Zhongshu Gu, Hani Jamjoom
SeaK: Rethinking the Design of a Secure Allocator for OS Kernel. USENIX Security Symposium (2024)
Somin Song, Sahil Suneja, Michael V. Le, Byungchul Tak
On the Value of Sequence-Based System Call Filtering for Container Security. CLOUD (2023)
Somin Song, Sahil Suneja, Michael V. Le, Byungchul Tak
Sequence-based System Call Filtering for Enhanced Container Security, is it beneficial? CCGridW (2023)
Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom
Securing Container-based Clouds with Syscall-aware Scheduling. AsiaCCS (2023)
Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom
Practical and Flexible Kernel CFI Enforcement using eBPF. eBPF@SIGCOMM (2023)
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Elaine R. Palmer, Avraham Shinnar
Towards a Formally Verified Security Monitor for VM-based Confidential Computing. CoRR (2023)
Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu
Kernel extension verification is untenable. HotOS (2023)
Sunwoo Jang, Somin Song, Byungchul Tak, Sahil Suneja, Michael V. Le, Chuan Yue, Dan Williams
SecQuant: Quantifying Container System Call Exposure. ESORICS (2) (2022)
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
Confidential computing for OpenPOWER. EuroSys (2021)