Login / Signup
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation.
Shuai Wang
Yuyan Bao
Xiao Liu
Pei Wang
Danfeng Zhang
Dinghao Wu
Published in:
USENIX Security Symposium (2019)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
query processing
dynamic analysis
main memory
active databases
reasoning engine
concurrency control
temporal databases
open source
software engineering
management system
knowledge representation
databases