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
DeTRAP: RISC-V Return Address Protection With Debug Triggers
Isaac Richter, Jie Zhou, John Criswell
Modern microcontroller software is often written in C/C++ and suffers from control-flow hijacking vulnerabilities. Previous mitigations suffer from high performance and memory over…
cs.CR2023
Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust
Jie Zhou, Mingshen Sun, John Criswell
Rust is one of the most promising systems programming languages to fundamentally solve the memory safety issues that have plagued low-level software for over forty years. However,…