CacheGuard: A Behavior Model Checker for Cache Timing Side-Channel Security: (Invited Paper). - Zihan Xu; Lingfeng Yin; Yongqiang Lyu 001; Haixia Wang 001; Gang Qu 001; Dongsheng Wang 002 (ASP-DAC, 2022)