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

Hernn Ponce de Len, Johannes Kinder

Browse the full SP paper archive.