This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Boris Köpf
A grouping.
Boris Köpf: speculation contracts as the specification for CPU leakage - Spectector's principled detection, Revizor's black-box contract testing, isolation-boundary testing, and compositional leak semantics.
4 references
Detecting speculative leaks with compositional semantics
Xaver Fabian and others (2026)
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Oleksii Oleksenko and others (2025)
Revizor: Testing Black-Box CPUs against Speculation Contracts
Oleksii Oleksenko and others (2022) · Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022)
Spectector: Principled Detection of Speculative Information Flows
Marco Guarnieri and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP)