SeaK: Rethinking the Design of a Secure Allocator for OS Kernel
- Zicheng Wang
- Yicheng Guang
- et al.
- 2024
- USENIX Security 2024
Publications
Date
Featured collections
Popular topics
12 results for Michael Le
Fast (Trapless) Kernel Probes Everywhere
- Jinghao Jia
- Michael Le
- et al.
- 2024
- USENIX ATC 2024
On the Value of Sequence-Based System Call Filtering for Container Security
- Somin Song
- Sahil Suneja
- et al.
- 2023
- CLOUD 2023
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Confidential computing for OpenPOWER
- Guerney D. H. Hunt
- Ramachandra Pai
- et al.
- 2021
- EuroSys 2021
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
SecQuant: Quantifying Container System Call Exposure
- Sunwoo Jang
- Somin Song
- et al.
- 2022
- ESORICS 2022
Agile composition of compliant data analytics platforms
- Michael V. Le
- Jayaram Kr Kallapalayam Radhakrishnan
- et al.
- 2017
- IC2E 2017
Container and microservice driven design for cloud infrastructure DevOps
- Hui Kang
- Michael V. Le
- et al.
- 2016
- IC2E 2016