Formalizing Stack Safety as a Security Property

The term stack safety is used to describe a variety of compiler, runtime, and hardware mechanisms for protecting stack memory. Unlike "the heap," the ISA-level stack does not correspond to a single high-level language concept: different compilers use it in different ways to support procedu...

Full description

Saved in:
Bibliographic Details
Main Authors: Anderson, Sean Noble, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C., Tolmach, Andrew
Format: Conference Proceeding
Language:English
Subjects:
Computer security
Hardware
High level languages
Nails
Runtime
Safety
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The term stack safety is used to describe a variety of compiler, runtime, and hardware mechanisms for protecting stack memory. Unlike "the heap," the ISA-level stack does not correspond to a single high-level language concept: different compilers use it in different ways to support procedural and functional abstraction mechanisms from a wide range of languages. This protean nature makes it difficult to nail down what it means to correctly enforce stack safety.
ISSN:2374-8303
DOI:10.1109/CSF57540.2023.00037