@inproceedings{DBLP:conf/csfw/AndersonBLPT23,
 author = {Sean Noble Anderson and
Roberto Blanco and
Leonidas Lampropoulos and
Benjamin C. Pierce and
Andrew Tolmach},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/csfw/AndersonBLPT23.bib},
 booktitle = {36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik,
Croatia, July 10-14, 2023},
 doi = {10.1109/CSF57540.2023.00037},
 pages = {356--371},
 publisher = {IEEE},
 timestamp = {Tue, 05 Sep 2023 20:33:27 +0200},
 title = {Formalizing Stack Safety as a Security Property},
 url = {https://doi.org/10.1109/CSF57540.2023.00037},
 year = {2023}
}