Publications

14 results for Michael Le

Rex: Closing the language-verifier gap with safe and usable kernel extensions
- - Jinghao Jia
  - Ruowen Qin
  - et al.
- 2025
- USENIX ATC 2025
Towards Confidential AI for the Masses!
- - Julian James Stephen
  - Michael Le
- 2025
- OSSNA 2025
SeaK: Rethinking the Design of a Secure Allocator for OS Kernel
- - Zicheng Wang
  - Yicheng Guang
  - et al.
- 2024
- USENIX Security 2024
Fast (Trapless) Kernel Probes Everywhere
- - Jinghao Jia
  - Michael Le
  - et al.
- 2024
- USENIX ATC 2024
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- - Wojciech Ozga
  - Guerney Hunt
  - et al.
- 2023
- MICRO 2023
Practical and Flexible Kernel CFI Enforcement using eBPF
- - Jinghao Jia
  - Michael V. Le
  - et al.
- 2023
- eBPF 2023
Securing Container-based Clouds with Syscall-aware Scheduling
- - Michael V. Le
  - Salman Ahmed
  - et al.
- 2023
- ASIA CCS 2023
On the Value of Sequence-Based System Call Filtering for Container Security
- - Somin Song
  - Sahil Suneja
  - et al.
- 2023
- CLOUD 2023
Kernel extension verification is untenable
- - Jinghao Jia
  - Raj Sahu
  - et al.
- 2023
- HotOS 2023
Sequence-based System Call Filtering for Enhanced Container Security, is it beneficial?
- - Somin Song
  - Sahil Suneja
  - et al.
- 2023
- CCGrid 2023