Automated Annotation Inference for MCP-based Agents
- Grigoris Ntousakis
- Julian James Stephen
- et al.
- 2025
- SOSP 2025
Workshop paper
Publications
18 results for Michael Le
Towards Safe Agentic AI Performance Engineering
- Dan Williams
- Milo Craun
- et al.
- 2025
- SOSP 2025
Workshop paperSecuring MCP-based Agent Workflows
- Grigoris Ntousakis
- Julian James Stephen
- et al.
- 2025
- SOSP 2025
Workshop paperRex: Closing the language-verifier gap with safe and usable kernel extensions
- Jinghao Jia
- Ruowen Qin
- et al.
- 2025
- USENIX ATC 2025
Conference paperTowards Confidential AI for the Masses!
- Julian James Stephen
- Michael Le
- 2025
- OSSNA 2025
Invited talkDistributed Confidential AI Agents
- Michael Le
- Julian James Stephen
- 2025
- Confidential Computing Summit 2025
TalkSeaK: Rethinking the Design of a Secure Allocator for OS Kernel
- Zicheng Wang
- Yicheng Guang
- et al.
- 2024
- USENIX Security 2024
Conference paperFast (Trapless) Kernel Probes Everywhere
- Jinghao Jia
- Michael Le
- et al.
- 2024
- USENIX ATC 2024
Conference paperTowards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Workshop paperPractical and Flexible Kernel CFI Enforcement using eBPF
- Jinghao Jia
- Michael V. Le
- et al.
- 2023
- eBPF 2023
Conference paper