Cache refinement type for side-channel detection of cryptographic software

• المؤلفون الرئيسيون: Jiang, Ke, Bao, Yuyan, Wang, Shuai, Liu, Zhibo, Zhang, Tianwei
• مؤلفون آخرون: School of Computer Science and Engineering
• التنسيق: Conference or Workshop Item
• اللغة: English
• منشور في: 2023
• الموضوعات: Engineering::Computer science and engineering; Cryptography; Cache Side-Channel; Static Analysis; Refinement Type Inference
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/165415

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...