TY  - RPRT
TI  - Formalizing Stack Safety as a Security Property
AU  - Sean Noble Anderson
AU  - Roberto Blanco
AU  - Leonidas Lampropoulos
AU  - Benjamin C. Pierce
AU  - Andrew Tolmach
PY  - 2024
DO  - 10.1109/csf57540.2023.00037
UR  - https://arxiv.org/abs/2105.00417
ID  - 2105.00417
ER  -