Hernán Ponce de León, Johannes Kinder. Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 235-248, IEEE, 2022. [doi]
@inproceedings{LeonK22,
title = {Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks},
author = {Hernán Ponce de León and Johannes Kinder},
year = {2022},
doi = {10.1109/SP46214.2022.9833774},
url = {https://doi.org/10.1109/SP46214.2022.9833774},
researchr = {https://researchr.org/publication/LeonK22},
cites = {0},
citedby = {0},
pages = {235-248},
booktitle = {43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022},
publisher = {IEEE},
isbn = {978-1-6654-1316-9},
}