Concepedia

Memory Safety Verification

Memory Safety Verification is a formal method within deductive verification that ensures programs do not perform unauthorized memory accesses, such as buffer overflows, null pointer dereferences, or use-after-free errors, by mathematically proving adherence to memory safety policies.

58

Publications

2.8K

Citations

182

Authors

84

Institutions

Publications per year

2017–2026

16

Parents

Publications

58

The design and implementation of a certifying compiler

George C. Necula, Peter Lee · 1998 · 358 citations · Full text

, , +17

Typed memory management in a calculus of capabilities

Karl Crary, David Walker, Greg Morrisett · 1999 · 251 citations

, , +17

Resource bound certification

Karl Crary, Stephanie Weirich · 2000 · 221 citations · Full text

, , +14

Types, bytes, and separation logic

Harvey Tuch, Gerwin Klein, Michael Norrish · ACM SIGPLAN Notices · 2007 · 139 citations

, , +15

FIE on firmware: finding vulnerabilities in embedded systems using symbolic execution

Drew Davidson, Benjamin Moench, Somesh Jha et al. · 2013 · 128 citations

, , +17

1–5 of 58

Authors

182

  1. MV
    Martin Vechev

    ETH Zurich, Switzerland

    4 publications · 213 citations

    4

    h-index

  2. GK
    Gerwin Klein

    UNSW Sydney, Australia

    4 publications · 276 citations

    4

    h-index

  3. HT
    Harvey Tuch

    Data61, Australia

    3 publications · 257 citations

    3

    h-index

  4. GC
    George C. Necula

    University of California, Berkeley, United States

    3 publications · 414 citations

    3

    h-index

  5. PL
    Peter Lee

    Imperial College London, United Kingdom

    3 publications · 414 citations

    3

    h-index

1–5 of 182

Institutions

84

  1. Microsoft (United States)

    Redmond, United States

    5 h-index

    7 publications

    219 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    7 publications

    1.3K citations

  3. UNSW Sydney

    Sydney, Australia

    4 h-index

    9 publications

    573 citations

  4. University of California San Diego

    San Diego, United States

    3 h-index

    5 publications

    243 citations

  5. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    5 publications

    159 citations

  6. Princeton University

    Princeton, United States

    3 h-index

    9 publications

    243 citations

  7. Data61

    Sydney, Australia

    3 h-index

    9 publications

    786 citations

  8. Tel Aviv University

    Tel Aviv, Israel

    2 h-index

    4 publications

    162 citations

1–8 of 84

Venues

  1. ACM SIGPLAN Notices

    7 publications · 306 citations

    7

    h-index

  2. Journal of Automated Reasoning

    1 publications · 22 citations

    1

    h-index

  3. Journal of Functional Programming

    1 publications · 19 citations

    1

    h-index

  4. 1

    h-index

  5. login Usenix Mag.

    1 publications · 15 citations

    1

    h-index

1–5