Rex: Closing the language-verifier gap with safe and usable kernel extensions
- Jinghao Jia
- Ruowen Qin
- et al.
- 2025
- USENIX ATC 2025
Publications
14 results for Michael Le
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