Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety
2024
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.
Details
Title
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety
Author(s)
Huang, Kaiming ; Payer, Mathias ; Qian, Zhiyun ; Sampson, Jack ; Tan, Gang ; Jaeger, Trent
Published in
Ieee Security & Privacy
Date
2024-04-04
Publisher
Los Alamitos, Ieee Computer Soc
ISSN
1540-7993
1558-4046
1558-4046
Keywords
Other identifier(s)
View record in Web of Science
Laboratories
HEXHIVE
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > HEXHIVE - HexHive
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date
2024-04-17