Sean Noble Anderson

Security Properties for Stack Safety pdf

Roberto Blanco, Benjamin C. Pierce, Leonidas Lampropoulos, 2021, ArXiv.

Formalizing Stack Safety as a Security Property

Roberto Blanco, Benjamin C. Pierce, Leonidas Lampropoulos, 2021 .