An abstract semantics of speculative execution for reasoning about security vulnerabilities.

Robert J. Colvin Kirsten Winter

Published in: CoRR (2020)

Keyphrases

security vulnerabilities
speculative execution
intrusion detection
dos attacks
security properties
open source