# Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

> Research article (2022 IEEE Symposium on Security and Privacy (SP), 2022) · cited 25× · AI/ML

**Wikidata**: [openalex:W3198421887](https://www.wikidata.org/wiki/openalex:W3198421887)  
**Source**: https://4ort.xyz/entity/cats-vs-spectre-an-axiomatic-approach-to-modeling-speculative-execution-attacks