3 papers
cs.OS2025
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
Alan Beadle, Michael L. Scott, John Criswell
Protected user-level libraries have been proposed as a way to allow mutually distrusting applications to safely share kernel-bypass services. In this paper, we identify and solve s…
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.CR2024
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,…