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:
CoRR (2019)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
query processing
open source
databases
object oriented
database management systems
fine grained
active databases
dynamic analysis