Fat Pointers for Temporal Memory Safety of C

Jie Zhou, John Criswell, Michael Hicks

Type: Preprint

Publication Date: 2022-01-01

Citations: 1

DOI: https://doi.org/10.48550/arxiv.2208.12900

View Publication

Locations

arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Fat Pointers for Temporal Memory Safety of C	2023	Jie Zhou John Criswell Michael Hicks
+	CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety	2023	Liyi Li Arunkumar Bhattar Le Chang Mingwei Zhu Aravind Machiry
+	PTAuth: Temporal Memory Safety via Robust Points-to Authentication	2020	Reza Mirzazade Farkhani Mansour Ahmadi Long Lu
+ PDF Chat	ShadowBound: Efficient Heap Memory Protection Through Advanced Metadata Management and Customized Compiler Optimization	2024	Zheng Yu Ganxiang Yang Xinyu Xing
+ PDF Chat	MESH: A Memory-Efficient Safe Heap for C/C++	2021	Emanuel Q. Vintila Philipp Zieris Julian Horsch
+ PDF Chat	StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator	2024	Antonin Reitz Aymeric Fromherz Jonathan Protzenko
+ PDF Chat	CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory	2021	Pascal Nasahl Robert Schilling Mario Werner Jan Hoogerbrugge Marcel Medwed Stefan Mangard
+	PACSan: Enforcing Memory Safety Based on ARM PA	2022	Yuan Li Wende Tan Zhizheng Lv Songtao Yang Mathias Payer Ying Liu Chao Zhang
+	CGuard: Efficient Spatial Safety for C	2021	Piyus Kedia Rahul Purandare Udit Agarwal N.A. Rishabh
+	Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects	2024	Kaiming Huang Mathias Payer Zhiyun Qian Jack Sampson Gang Tan Trent Jaeger
+ PDF Chat	Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs	2021	Hui Xu Zhuangbin Chen Mingshen Sun Yangfan Zhou Michael R. Lyu
+	Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)	2023	Jason Zhijingcheng Yu Conrad Watt Aditya Badole Trevor E. Carlson Prateek Saxena
+ PDF Chat	FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper)	2024	Myoung Jin Nam
+	Saturation Memory Access: Mitigating Memory Spatial Errors without Terminating Programs	2020	Dongwei Chen Daliang Xu Dong Tong kang dae sun Xuetao Guan Chun Yang Xu Cheng
+	Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs	2020	Hui Xu Zhuangbin Chen Mingshen Sun Yangfan Zhou Michael R. Lyu
+ PDF Chat	MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code	2023	Alexandra E. Michael Anitha Gollamudi Jay Bosamiya Evan Johnson Aidan Denlinger Craig Disselkoen Conrad Watt Bryan Parno Marco Patrignani Marco Vassena
+ PDF Chat	C to checked C by 3c	2022	Aravind Machiry John Kastner Matt McCutchen Aaron Eline Kyle Headley Michael Hicks
+	S3Library: Automatically Eliminating C/C++ Buffer Overflow using Compatible Safer Libraries	2020	kang dae sun Daliang Xu Dongwei Chen Cheng Xu Dong Tong
+ PDF Chat	CryptSan: Leveraging ARM Pointer Authentication for Memory Safety in C/C++	2023	Konrad Hohentanner Philipp Zieris Julian Horsch
+	CryptSan: Leveraging ARM Pointer Authentication for Memory Safety in C/C++	2022	Konrad Hohentanner Philipp Zieris Julian Horsch

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors