1 citations · 1 across the 5 of their papers we have counts for
5 papers
FRESCO: Complete and Scalable Temporal Safety for CHERI Application Processors
Merve Gülmez, Nils Jordan, Jialun Zhang +4
CHERI provides hardware-enforced spatial memory safety. While prior work extends it with heap temporal safety, stack use-after-return remains unaddressed. Existing defenses fall sh…
iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
Monika Santra, Bokai Zhang, Mark Lim +3
Indirect call resolution remains a key challenge in reverse engineering and control-flow graph recovery, especially for stripped or optimized binaries. Static analysis is sound but…
SandCell: Sandboxing Rust Beyond Unsafe Code
Jialun Zhang, Merve Gulmez, Thomas Nyman +1
Rust is a modern systems programming language that ensures memory safety by enforcing ownership and borrowing rules at compile time. While the unsafe keyword allows programmers to…
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…
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…