Login / Signup
CacheGuard: A Behavior Model Checker for Cache Timing Side-Channel Security: (Invited Paper).
Zihan Xu
Lingfeng Yin
Yongqiang Lyu
Haixia Wang
Gang Qu
Dongsheng Wang
Published in:
ASP-DAC (2022)
Keyphrases
</>
invited paper
model checker
model checking
formal verification
formal methods
temporal logic
description language
information security
formal specification
specification language
test suite
machine learning
decision making
lecture notes
set theory