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; et al. (EuroSys, 2021)

SecQuant: Quantifying Container System Call Exposure. - Sunwoo Jang; Somin Song; Byungchul Tak; Sahil Suneja; Michael V. Le; Chuan Yue; Dan Williams 001 (ESORICS (2), 2022)

On the Value of Sequence-Based System Call Filtering for Container Security. - Somin Song; Sahil Suneja; Michael V. Le; Byungchul Tak (CLOUD, 2023)

Securing Container-based Clouds with Syscall-aware Scheduling. - Michael V. Le; Salman Ahmed 001; Dan Williams 001; Hani Jamjoom (AsiaCCS, 2023)

Sequence-based System Call Filtering for Enhanced Container Security, is it beneficial? - Somin Song; Sahil Suneja; Michael V. Le; Byungchul Tak (CCGridW, 2023)

Kernel extension verification is untenable. - Jinghao Jia; Raj Sahu; Adam Oswald; Dan Williams 001; Michael V. Le; Tianyin Xu (HotOS, 2023)

Practical and Flexible Kernel CFI Enforcement using eBPF. - Jinghao Jia; Michael V. Le; Salman Ahmed 001; Dan Williams 001; Hani Jamjoom (eBPF@SIGCOMM, 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)

Fast (Trapless) Kernel Probes Everywhere. - Jinghao Jia; Michael V. Le; Salman Ahmed 001; Dan Williams 001; Hani Jamjoom; Tianyin Xu (USENIX ATC, 2024)

SeaK: Rethinking the Design of a Secure Allocator for OS Kernel. - Zicheng Wang; Yicheng Guang; Yueqi Chen 001; Zhenpeng Lin; Michael V. Le; Dang K. Le; Dan Williams 001; Xinyu Xing 001; Zhongshu Gu; Hani Jamjoom (USENIX Security Symposium, 2024)

Rex: Closing the language-verifier gap with safe and usable kernel extensions. - Jinghao Jia; Ruowen Qin; Milo Craun; Egor Lukiyanov; Ayush Bansal; Minh Phan; Michael V. Le; Hubertus Franke; Hani Jamjoom; Tianyin Xu; Dan Williams 001 (USENIX ATC, 2025)

Safe and usable kernel extensions with Rax. - Jinghao Jia; Ruowen Qin; Milo Craun; Egor Lukiyanov; Ayush Bansal; Michael V. Le; Hubertus Franke; Hani Jamjoom; Tianyin Xu; Dan Williams 001 (CoRR, 2025)

ACE: Confidential Computing for Embedded RISC-V Systems. - Wojciech Ozga; Guerney D. H. Hunt; Michael V. Le; Lennard Gäher; Avraham Shinnar; Elaine R. Palmer; Hani Jamjoom; Silvio Dragone (CoRR, 2025)

NVIDIA GPU Confidential Computing Demystified. - Zhongshu Gu; Enriquillo Valdez; Salman Ahmed 001; Julian James Stephen; Michael V. Le; Hani Jamjoom; Shixuan Zhao 002; Zhiqiang Lin (CoRR, 2025)