- How to Secure Existing C and C++ Software without Memory Safety
2025/03/27 by Úlfar Erlingsson, Erlingsson, Úlfar · 14 voices · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Backporting #Compiler #Exploit #Memory safety #Overhead (engineering) #Parallel Computing and Optimization Techniques #Secure coding #Security and Verification in Computing #Security bug #Software #Software bug #Software security assurance
- Mesh: compacting memory management for C/C++ applications
2019/02/13 by Bobby Powers, David Tench, Emery D. Berger +1 · 4 voices
Computer Science · #Allocator #C dynamic memory allocation #Distributed systems and fault tolerance #Extended memory #Interleaved memory #Memory leak #Memory management #Memory map #Memory safety #Parallel Computing and Optimization Techniques #Security and Verification in Computing #Virtual memory
- Memory Tagging and how it improves C/C++ memory safety
2018/02/26 by Kostya Serebryany, Serebryany, Kostya, Evgenii Stepanov +8 · 1 voice · 9 citations
Computer Science · Engineering · #Computer science #Memory safety #Operating system #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics #Security and Verification in Computing #Software #cs.AR #cs.CR #cs.PL
- Towards Linux Kernel Memory Safety
2017/10/17 by Elena Reshetova, Hans Liljestrand, Andrew Paverd +1 · 1 voice
Computer Science · #Digital and Cyber Forensics #Distributed systems and fault tolerance #Kernel (algebra) #Linux kernel #Memory leak #Memory protection #Memory safety #Pointer (user interface) #Security and Verification in Computing #System call #cs.CR #cs.OS