Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Kaiming Huang; Mathias Payer; Zhiyun Qian; Jack Sampson; Gang Tan; Trent Jaeger

doi:10.1109/MSEC.2024.3379947

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

Abstract

Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory safety validation.

Original language	English (US)
Pages (from-to)	40-49
Number of pages	10
Journal	IEEE Security and Privacy
Volume	22
Issue number	4
DOIs	https://doi.org/10.1109/MSEC.2024.3379947
State	Published - 2024

All Science Journal Classification (ASJC) codes

Computer Networks and Communications
Electrical and Electronic Engineering
Law

Access to Document

10.1109/MSEC.2024.3379947

Cite this

@article{6b5ff4a74b574876879953bec10c3e63,

title = "Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety",

abstract = "Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory safety validation.",

author = "Kaiming Huang and Mathias Payer and Zhiyun Qian and Jack Sampson and Gang Tan and Trent Jaeger",

note = "Publisher Copyright: {\textcopyright}2024IEEE.",

year = "2024",

doi = "10.1109/MSEC.2024.3379947",

language = "English (US)",

volume = "22",

pages = "40--49",

journal = "IEEE Security and Privacy",

issn = "1540-7993",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "4",

}

TY - JOUR

T1 - Comprehensive Memory Safety Validation

T2 - An Alternative Approach to Memory Safety

AU - Huang, Kaiming

AU - Payer, Mathias

AU - Qian, Zhiyun

AU - Sampson, Jack

AU - Tan, Gang

AU - Jaeger, Trent

PY - 2024

Y1 - 2024

N2 - Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory safety validation.

AB - Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory safety validation.

UR - http://www.scopus.com/inward/record.url?scp=85190172598&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85190172598&partnerID=8YFLogxK

U2 - 10.1109/MSEC.2024.3379947

DO - 10.1109/MSEC.2024.3379947

M3 - Article

AN - SCOPUS:85190172598

SN - 1540-7993

VL - 22

SP - 40

EP - 49

JO - IEEE Security and Privacy

JF - IEEE Security and Privacy

IS - 4

ER -

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this