Formalizing Stack Safety as a Security Property at Portland State University

Stack safety is decomposed into integrity, confidentiality, and control-flow properties to ensure security in function activations.