A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures.

Ke Jiang Tianwei Zhang David Sanán Yongwang Zhao Yang Liu

Published in: ICFEM (2022)

Keyphrases

countermeasures
memory hierarchy
query processing
formal model
prefetching
model checking
smart card
information security
data access
secret key
formal specification
embedded processors
data sets
design methodology
back end
database systems
search engine