Cache refinement type for side-channel detection of cryptographic software

• Main Authors: Jiang, Ke, Bao, Yuyan, Wang, Shuai, Liu, Zhibo, Zhang, Tianwei
• Other Authors: School of Computer Science and Engineering
• Format: Conference or Workshop Item
• Language: English
• Published: 2023
• Subjects: Engineering::Computer science and engineering; Cryptography; Cache Side-Channel; Static Analysis; Refinement Type Inference
• Online Access: https://hdl.handle.net/10356/165415
• Institution: Nanyang Technological University

Cache side-channel attacks exhibit severe threats to software security and privacy, especially for cryptosystems. In this paper, we propose CaType, a novel refinement type-based tool for detecting cache side channels in crypto software. Compared to previous works, CaType provides the following advan...