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

Browse the full ASPDAC paper archive.