TY  - RPRT
TI  - Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
AU  - Hernán Ponce-de-León
AU  - Johannes Kinder
PY  - 2021
UR  - https://arxiv.org/abs/2108.13818
ID  - 2108.13818
ER  -