TY  - RPRT
TI  - Global Microprocessor Correctness in the Presence of Transient Execution
AU  - Andrew T. Walter
AU  - Konstantinos Athanasiou
AU  - Panagiotis Manolios
PY  - 2025
UR  - https://arxiv.org/abs/2506.17154
ID  - 2506.17154
ER  -