Skip to main navigation Skip to search Skip to main content

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish (US)
Pages (from-to)40-49
Number of pages10
JournalIEEE Security and Privacy
Volume22
Issue number4
DOIs
StatePublished - 2024

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Electrical and Electronic Engineering
  • Law

Fingerprint

Dive into the research topics of 'Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety'. Together they form a unique fingerprint.

Cite this