16 citations · 21 across the 7 of their papers we have counts for
8 papers · 1 filter
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…
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,…
InversOS: Efficient Control-Flow Protection for AArch64 Applications with Privilege Inversion
Zhuojia Shen, John Criswell
With the increasing popularity of AArch64 processors in general-purpose computing, securing software running on AArch64 systems against control-flow hijacking attacks has become a…
Fat Pointers for Temporal Memory Safety of C
Jie Zhou, John Criswell, Michael Hicks
Temporal memory safety bugs, especially use-after-free and double free bugs, pose a major security threat to C programs. Real-world exploits utilizing these bugs enable attackers t…
Fast Execute-Only Memory for Embedded Systems
Zhuojia Shen, Komail Dharsee, John Criswell
Remote code disclosure attacks threaten embedded systems as they allow attackers to steal intellectual property or to find reusable code for use in control-flow hijacking attacks.…
Silhouette: Efficient Protected Shadow Stacks for Embedded Systems
Jie Zhou, Yufei Du, Zhuojia Shen +3
Microcontroller-based embedded systems are increasingly used for applications that can have serious and immediate consequences if compromised---including automobile control systems…