9 citations · 18 across the 4 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 8 cited
Cache Refinement Type for Side-Channel Detection of Cryptographic Software
Ke Jiang, Yuyan Bao, Shuai Wang +2
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 to…
cs.CR2019★ 9 cited
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation
Shuai Wang, Yuyan Bao, Xiao Liu +3
Cache-based side channels enable a dedicated attacker to reveal program secrets by measuring the cache access patterns. Practical attacks have been shown against real-world crypto…