A Formal Verification Methodology for Cache Architectures Based on Noninterference Hyperproperties. - Zhang, Yusha; Zhu, Ziyuan; Liu, Yuxin; Tong, Zhongkai; Cai, Wenjing; Meng, Dan (2024)