A Formal Verification Methodology for Cache Architectures Based on Noninterference Hyperproperties.

Yusha Zhang, Ziyuan Zhu, Yuxin Liu, Zhongkai Tong, Wenjing Cai, Dan Meng

Browse the full CSCWD paper archive.