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).