@misc{indiciae05cc335072f6,
  title = {Formalizing Stack Safety as a Security Property},
  author = {Sean Noble Anderson and Roberto Blanco and Leonidas Lampropoulos and Benjamin C. Pierce and Andrew Tolmach},
  year = {2024},
  doi = {10.1109/csf57540.2023.00037},
  url = {https://arxiv.org/abs/2105.00417},
  note = {Source identifier: 2105.00417}
}