@misc{indiciae31ac9da69df8,
  title = {Global Microprocessor Correctness in the Presence of Transient Execution},
  author = {Andrew T. Walter and Konstantinos Athanasiou and Panagiotis Manolios},
  year = {2025},
  url = {https://arxiv.org/abs/2506.17154},
  note = {Source identifier: 2506.17154}
}