3 papers
cs.CR2025
LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
Tianrou Xia, Kaiming Huang, Dongyeon Yu +4
Rust is a memory-safe language, and its strong safety guarantees combined with high performance have been attracting widespread adoption in systems programming and security-critica…
cs.CR2024
SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks
Yongzhe Huang, Kaiming Huang, Matthew Ennis +4
Device driver isolation is a promising approach for protecting the kernel from faulty or malicious drivers, but the actual security provided by such frameworks is often not well un…
cs.CR2023
Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects
Kaiming Huang, Mathias Payer, Zhiyun Qian +3
Heap memory errors remain a major source of software vulnerabilities. Existing memory safety defenses aim at protecting all objects, resulting in high performance cost and incomple…