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