Login / Signup

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

Robert J. ColvinKirsten Winter
Published in: FM Workshops (2) (2019)
Keyphrases
  • security vulnerabilities
  • speculative execution
  • intrusion detection
  • dos attacks
  • unauthorized access
  • information systems
  • high level
  • security properties