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