PKRU-Safe: Automatically locking down the heap between safe and unsafe languages
After more than twenty-five years of research, memory safety violations remain one of the
major causes of security vulnerabilities in real-world software. Memory-safe languages, like …
major causes of security vulnerabilities in real-world software. Memory-safe languages, like …
MirChecker: detecting bugs in Rust programs via static analysis
Safe system programming is often a crucial requirement due to its critical role in system
software engineering. Conventional low-level programming languages such as C and …
software engineering. Conventional low-level programming languages such as C and …
[PDF][PDF] Cross-Language Attacks.
Memory corruption attacks against unsafe programming languages like C/C++ have been a
major threat to computer systems for multiple decades. Various sanitizers and runtime …
major threat to computer systems for multiple decades. Various sanitizers and runtime …
{TRust}: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code
Rust was invented to help developers build highly safe systems. It comes with a variety of
programming constructs that put emphasis on safety and control of memory layout. Rust …
programming constructs that put emphasis on safety and control of memory layout. Rust …
Memory-safety challenge considered solved? An in-depth study with all Rust CVEs
Rust is an emerging programming language that aims at preventing memory-safety bugs
without sacrificing much efficiency. The claimed property is very attractive to developers, and …
without sacrificing much efficiency. The claimed property is very attractive to developers, and …
SafeDrop: Detecting memory deallocation bugs of rust programs via static data-flow analysis
Rust is an emerging programming language that aims to prevent memory-safety bugs.
However, the current design of Rust also brings side effects, which may increase the risk of …
However, the current design of Rust also brings side effects, which may increase the risk of …
{“I} wouldn't want my unsafe code to run my {pacemaker”}: An Interview Study on the Use, Comprehension, and Perceived Risks of Unsafe Rust
S Höltervennhoff, P Klostermeyer, N Wöhler… - 32nd USENIX Security …, 2023 - usenix.org
Modern software development still struggles with memory safety issues as a significant
source of security bugs. The Rust programming language addresses memory safety and …
source of security bugs. The Rust programming language addresses memory safety and …
Rupair: towards automatic buffer overflow detection and rectification for Rust
B Hua, W Ouyang, C Jiang, Q Fan, Z Pan - Proceedings of the 37th …, 2021 - dl.acm.org
Rust is an emerging programming language which aims to provide both safety guarantee
and runtime efficiency, and has been used extensively in system programming scenarios …
and runtime efficiency, and has been used extensively in system programming scenarios …
Understanding and Detecting Real-World Safety Issues in Rust
Rust is a relatively new programming language designed for systems software development.
Its objective is to combine the safety guarantees typically associated with high-level …
Its objective is to combine the safety guarantees typically associated with high-level …
RPG: Rust library fuzzing with pool-based fuzz target generation and generic support
Rust libraries are ubiquitous in Rust-based software development. Guaranteeing their
correctness and reliability requires thorough analysis and testing. Fuzzing is a popular bug …
correctness and reliability requires thorough analysis and testing. Fuzzing is a popular bug …