9 citations · 17 across the 2 of their papers we have counts for
3 papers
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.SE2021
Verifying Verified Code
Siddharth Priya, Xiang Zhou, Yusen Su +3
A recent case study from AWS by Chong et al. proposes an effective methodology for Bounded Model Checking in industry. In this paper, we report on a follow up case study that explo…
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…