Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety
 
research article

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Huang, Kaiming
•
Payer, Mathias  
•
Qian, Zhiyun
Show more
April 4, 2024
Ieee Security & Privacy

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
  • Metrics
Type
research article
DOI
10.1109/MSEC.2024.3379947
Web of Science ID

WOS:001197916700001

Author(s)
Huang, Kaiming
Payer, Mathias  
Qian, Zhiyun
Sampson, Jack
Tan, Gang
Jaeger, Trent
Date Issued

2024-04-04

Publisher

Ieee Computer Soc

Published in
Ieee Security & Privacy
Subjects

Technology

•

Safety

•

Runtime

•

Memory Management

•

Protection

•

Costs

•

Static Analysis

•

Software

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
HEXHIVE  
Available on Infoscience
April 17, 2024
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/207374
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés