Securing unsafe rust programs with XRust
Pei-Ming Liu, Gang Zhao, Jeff Huang
Abstract
Rust is a promising systems programming language that embraces both high-level memory safety and low-level resource manipulation. However, the dark side of Rust, unsafe Rust, leaves a large security hole as it bypasses the Rust type system in order to support low-level operations. Recently, several real-world memory corruption vulnerabilities have been discovered in Rust's standard libraries.
Topics & Concepts
Rust (programming language)Computer scienceComputer securityMemory safetyMemory managementStripe rustOperating systemProgramming languageSemiconductor memorySoftwareBiologyPlant disease resistanceBiochemistryGeneSecurity and Verification in ComputingAdvanced Malware Detection TechniquesDistributed systems and fault tolerance