Formalizing Stack Safety as a Security Property - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach. Formalizing Stack Safety as a Security Property. In 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023. pages 356-371, IEEE, 2023. [doi]

This author has not been identified. Look up 'Sean Noble Anderson' in GoogleThis author has not been identified. Look up 'Roberto Blanco' in GoogleThis author has not been identified. Look up 'Leonidas Lampropoulos' in GoogleThis author has not been identified. It may be one of the following persons:

Benjamin C. Pierce

Look up 'Benjamin C. Pierce' in GoogleThis author has not been identified. It may be one of the following persons:

Andrew P. Tolmach

Look up 'Andrew Tolmach' in Google

runs on WebDSL