Keyword

memory safety

Description: A property of programming languages and systems that prevents invalid memory access, such as out-of-bounds reads or use-after-free errors.

Primary topic: Logic, programming, and type systems (48%)

Wikidata ID: wiki/Q4080983

OpenAlex ID: keywords/memory-safety

SoftBound

2009 · Santosh Nagarakatte, Jianzhou Zhao, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 521

RustBelt: securing the foundations of the Rust programming language

2017 · Ralf Jung, Jacques-Henri Jourdan, et al. · Proceedings of the ACM on Programming Languages · 375

PDF

CCured: type-safe retrofitting of legacy software

2005 · George C. Necula, Jeremy Condit, et al. · ACM Transactions on Programming Languages and Systems · 365

The design and implementation of a certifying compiler

1998 · George C. Necula, Peter Lee · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 359

PDF

Code-pointer integrity

2014 · Volodymyr Kuznetsov, László Szekeres, et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 342

PDF

CBMC – C Bounded Model Checker

2014 · Daniel Kroening, Michael Tautschnig · Lecture notes in computer science · 338

CETS

2010 · Santosh Nagarakatte, Jianzhou Zhao, et al. · International Symposium on Memory Management · 315

The rust language

2014 · Nicholas D. Matsakis, Felix S. Klock · 304

The rust language

2014 · Nicholas D. Matsakis, Felix S. Klock · ACM SIGAda Ada Letters · 268

Resource bound certification

2000 · Karl Crary, Stephnie Weirich · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 218

PDF

The CHERI capability model

2014 · Jonathan Woodruff, Robert N.M. Watson, et al. · ACM SIGARCH Computer Architecture News · 215

Shape Analysis for Composite Data Structures

2007 · Josh Berdine, Cristiano Calcagno, et al. · Springer eBooks · 199

PDF

Safe, Untrusted Agents Using Proof-Carrying Code

1998 · George C. Necula, Peter Lee · Lecture notes in computer science · 190

Infer: An Automatic Program Verifier for Memory Safety of C Programs

2011 · Cristiano Calcagno, Dino Distefano · Lecture notes in computer science · 183

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels

2014 · John Criswell, Nathan Dautenhahn, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 178

Secure virtual architecture

2007 · John Criswell, Andrew Lenharth, et al. · 156

An efficient and backwards-compatible transformation to ensure memory safety of C programs

2004 · Wei Xu, Daniel C. DuVarney, et al. · ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) · 151

Language support for regions

2001 · David Gay, Alex Aiken · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 149

CCured in the real world

2003 · Jeremy Condit, Matthew Harren, et al. · ACM SIGPLAN Notices · 141

Formalizing the LLVM intermediate representation for verified program transformations

2012 · Jianzhou Zhao, Santosh Nagarakatte, et al. · ACM SIGPLAN Notices · 139

PDF

Leveraging rust types for modular specification and verification

2019 · Vytautas Astrauskas, Peter Müller, et al. · Proceedings of the ACM on Programming Languages · 137

PDF

Missing the Point(er): On the Effectiveness of Code Pointer Integrity

2015 · Isaac Evans, Sam Fingeret, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 136

PDF

MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging

2007 · Guru Venkataramani, Brandyn Roemer, et al. · Proceedings - International Symposium on High-Performance Computer Architecture/Proceedings · 136

Safe to the last instruction

2010 · Jean Yang, Chris Hawblitzel · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 130

SGXBOUNDS

2017 · Dmitrii Kuvaiskii, Oleksii Oleksenko, et al. · European Conference on Computer Systems · 120

Works count: 2,723

Citation count: 21,630