← back to paper
arxiv: 2506.17154 · 2 revisions
Global Microprocessor Correctness in the Presence of Transient Execution