InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis.

Roberto Guanciale Musard Balliu Mads Dam

Published in: CCS (2020)

Keyphrases

formal analysis
information security
security vulnerabilities
countermeasures
formal methods
agent model
security risks
attack graphs
security issues
real time
machine learning
open source
instruction set
ban logic
network security
security mechanisms