Publications

12 results for Michael Le

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
SecQuant: Quantifying Container System Call Exposure
- - Sunwoo Jang
  - Somin Song
  - et al.
- 2022
- ESORICS 2022
Confidential computing for OpenPOWER
- - Guerney D. H. Hunt
  - Ramachandra Pai
  - et al.
- 2021
- EuroSys 2021