Shixuan Zhang, Haixia Wang, Pengfei Qiu, Yongqiang Lyu 0001, Hongpeng Wang, Dongsheng Wang. SCAFinder: Formal Verification of Cache Fine-Grained Features for Side Channel Detection. IEEE Transactions on Information Forensics and Security, 19:8079-8093, 2024. [doi]
Abstract is missing.