3 ms·Cats vs Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks1 points by pramodbiligiri 5y ago