A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures.

Ke Jiang, Tianwei Zhang, David Sann, Yongwang Zhao, Yang Liu

Browse the full ICFEM paper archive.