PKRU-safe
Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gen�s, Yeoul Na, Stijn Volckaert, Michael Franz
Abstract
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 Rust, have demonstrated that compiler technology can assist developers in writing efficient low-level code without the risk of memory corruption. However, many memory-safe languages still have to interface with unsafe code to some extent, which opens up the possibility for attackers to exploit memory-corruption vulnerabilities in the unsafe part of the system and subvert the safety guarantees provided by the memory-safe language.
Topics & Concepts
Memory safetyComputer scienceCompilerExploitComputer securityMemory protectionMemory errorsMemory managementRust (programming language)Operating systemProgramming languageEmbedded systemVirtual memorySemiconductor memoryPsychologyCognitive psychologyRecallSecurity and Verification in ComputingAdvanced Malware Detection TechniquesDiamond and Carbon-based Materials Research