A Formal Model of Checked C - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liyi Li, Yiyun Liu, Deena L. Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks 0001. A Formal Model of Checked C. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 49-63, IEEE, 2022. [doi]

This author has not been identified. Look up 'Liyi Li' in GoogleThis author has not been identified. Look up 'Yiyun Liu' in GoogleThis author has not been identified. Look up 'Deena L. Postol' in GoogleThis author has not been identified. Look up 'Leonidas Lampropoulos' in GoogleThis author has not been identified. Look up 'David Van Horn' in GoogleThis author has not been identified. Look up 'Michael Hicks 0001' in Google

runs on WebDSL