Ponce-de-Leon, H., & Kinder, J. (2022). Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. In 2022 IEEE Symposium on Security and Privacy (SP) (pp. 235–248).
First name
Johannes
Last name
Kinder