Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

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

2024

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DataCite
DublinCore
EndNote
NLM
RefWorks
RIS

Résumé

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.

Détails

Titre Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Auteur(s) Huang, Kaiming ; Payer, Mathias ; Qian, Zhiyun ; Sampson, Jack ; Tan, Gang ; Jaeger, Trent

Publié dans Ieee Security & Privacy

Date 2024-04-04

Editeur Los Alamitos, Ieee Computer Soc

ISSN 1540-7993
1558-4046

Mots-clés (libres)

Safety; Runtime; Memory Management; Protection; Costs; Static Analysis; Software

DOI https://doi.org/10.1109/MSEC.2024.3379947

Autres identifiant(s) Afficher la publication dans Web of Science

Laboratoires HEXHIVE

Le document apparaît dans Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > HEXHIVE - HexHive
Publications validées par des pairs
Travail produit à l'EPFL
Articles de journaux
Publié

Date de création de la notice 2024-04-17