Memory safety
Top View
- Practical Low-Overhead Enforcement of Memory Safety for C Programs
- David Wagner CS 161 Computer Security Notes Memory Safety
- BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free
- 15-411 Compiler Design, Fall 2017 Lab 6: Garbage Collection
- Secure Programming for Embedded Systems Northsec 2019
- Memory Safety for Low-Level Software/Hardware Interactions
- Toward Specialization of Memory Management in Unikernels
- Hardware-Based Always-On Heap Memory Safety
- Memory Safety for Safety Critical Java
- Ptauth: Temporal Memory Safety Via Robust Points-To Authentication
- Oracle® Developer Studio 12.5
- Broom: Sweeping out Garbage Collection from Big Data Systems
- Language and Framework Support for Reviewably-Secure Software Systems
- Memory Safety “If Our Software Is Buggy, What Does That Say About Its Security?” —Robert H
- Practical Memory Safety for C
- No-FAT: Architectural Support for Low Overhead Memory Safety Checks
- Unifying Logical Concurrency Control and Physical Data Structure Maintenance in Database Management Systems
- Runtime Verification of C Memory Safety