C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Cache timing side-channel vulnerability checking with computation tree logic.
Shuwen Deng
Wenjie Xiong
Jakub Szefer
Published in:
HASP@ISCA (2018)
Keyphrases
</>
computation tree logic
model checking
temporal logic
bounded model checking
epistemic logic
data access
query processing
temporal properties
formal specification
modal logic
formal verification
linear temporal logic