Login / Signup
An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities.
Robert J. Colvin
Kirsten Winter
Published in:
FM Workshops (2) (2019)
Keyphrases
</>
security vulnerabilities
speculative execution
intrusion detection
dos attacks
unauthorized access
information systems
high level
security properties