An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities.

Robert J. Colvin, Kirsten Winter

Browse the full FM paper archive.