16 citations · 37 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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,…
cs.CR2023
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…