2023 IEEE 36th Computer Security Foundations Symposium (CSF)
Formalizing Stack Safety as a Security Property
DOI Bookmark: 10.1109/CSF57540.2023.00037
Authors
Sean Noble Anderson, Portland State UniversityRoberto Blanco, MPI-SP
Leonidas Lampropoulos, University of Maryland
Benjamin C. Pierce, University of Pennsylvania
Andrew Tolmach, Portland State University