Rex: Closing the language-verifier gap with safe and usable kernel extensions
- Jinghao Jia
- Ruowen Qin
- et al.
- 2025
- USENIX ATC 2025
Publications
5 results for Hani Jamjoom
Crossing Shifted Moats: Replacing Old Bridges with New Tunnels to Confidential Containers
- Ray Valdez
- Md Salman Ahmed
- et al.
- 2024
- CCS 2024
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
GNNIC: Finding Long-Lost Sibling Functions with Abstract Similarity
- Qiushi Wu
- Zhongshu Gu
- et al.
- 2024
- NDSS 2024