Cache Refinement Type for Side-Channel Detection of Cryptographic Software.

Ke Jiang, Yuyan Bao, Shuai Wang, Zhibo Liu, Tianwei Zhang

Browse the full CCS paper archive.