12 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.PL2025
SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
Oliver Braunsdorf, Tim Lange, Konrad Hohentanner +2
Unsafe Rust code is necessary for interoperability with C/C++ libraries and implementing low-level data structures, but it can cause memory safety violations in otherwise memory-sa…
cs.CR2022★ 12 cited
CryptSan: Leveraging ARM Pointer Authentication for Memory Safety in C/C++
Konrad Hohentanner, Philipp Zieris, Julian Horsch
Memory safety bugs remain in the top ranks of security vulnerabilities, even after decades of research on their detection and prevention. Various mitigations have been proposed for…