Login / Signup
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis.
Musard Balliu
Mads Dam
Roberto Guanciale
Published in:
CoRR (2019)
Keyphrases
</>
formal analysis
information security
security vulnerabilities
formal methods
agent model
security risks
instruction set
buffer overflow
attack graphs
ban logic
databases
countermeasures
security issues
security mechanisms
attack graph