Temporal Memory Safety

Temporal Memory Safety is a memory safety framework that ensures references to allocated objects remain valid only during their intended lifetimes, thereby preventing use-after-free and other time-dependent memory errors by enforcing correct temporal ordering of memory operations.

Publications

Citations

Authors

Institutions

Publications per year

2017–2026

Parents

Memory SafetyMemory Safety Vulnerabilities

Publications

CETS

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic · 2010 · 320 citations

Computing, Computer Engineering, Computer Science +13

Preventing Use-after-free with Dangling Pointers Nullification

Byoungyoung Lee, Chengyu Song, Yeongjin Jang et al. · 2015 · 115 citations

Computing, Computer Science, Computer Systems +17

Architectural Support for Software-Defined Metadata Processing

Udit Dhawan, Cătălin Hriţcu, Raphael Rubin et al. · 2015 · 77 citations · Full text

Engineering, Computer Engineering, Computer Science +15

MemSafe: ensuring the spatial and temporal memory safety of C at runtime

Matthew Simpson, Rajeev Barua · Software Practice and Experience · 2012 · 68 citations

Computing, Computer Engineering, Computer Science +17

CHERIvoke

Hongyan Xia, Jonathan Woodruff, Sam Ainsworth et al. · 2019 · 54 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–5 of 18

Authors

UD
Udit Dhawan
University of Pennsylvania, United States
3 publications · 132 citations
3
h-index
TF
Thomas F. Knight
Ginkgo Bioworks, Inc. (United States), United States
3 publications · 132 citations
3
h-index
JM
Jonathan M. Smith
University of Pennsylvania, United States
3 publications · 132 citations
3
h-index
NV
Nikos Vasilakis
University of Pennsylvania, United States
3 publications · 132 citations
3
h-index
SC
Silviu Chiricescu
University of Pennsylvania, United States
3 publications · 132 citations
3
h-index

1–5 of 75

Institutions

1–8 of 30

Venues

Proceedings of the ACM on Programming Languages
PACMPL · 1 publications · 27 citations
1
h-index
Software Practice and Experience
1 publications · 68 citations
1
h-index
ACM SIGPLAN Notices
1 publications · 47 citations
1
h-index
ACM SIGARCH Computer Architecture News
1 publications · 21 citations
1
h-index
Scholarly Commons (University of Pennsylvania)
Repository · 1 publications · 11 citations

1–5