Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hernán Ponce de León, Johannes Kinder. Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 235-248, IEEE, 2022. [doi]

This author has not been identified. Look up 'Hernán Ponce de León' in GoogleThis author has not been identified. Look up 'Johannes Kinder' in Google

runs on WebDSL