Symbolic Verification of Cache Side-Channel Freedom.

Sudipta Chattopadhyay Abhik Roychoudhury

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)

Keyphrases

model checking
data access
formal verification
high level
smart card
prefetching
semantic caching
face verification
countermeasures
symbolic representation
face recognition
binary decision diagrams
replacement policy
web caching
verification method
caching scheme
real time