all InfoSec news
Cache Refinement Type for Side-Channel Detection of Cryptographic Software. (arXiv:2209.04610v2 [cs.CR] UPDATED)
Sept. 20, 2022, 1:20 a.m. | Ke Jiang, Yuyan Bao, Shuai Wang, Zhibo Liu, Tianwei Zhang
cs.CR updates on arXiv.org arxiv.org
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 advantages:
(1) For the first time CaType analyzes cache side channels using refinement
type over x86 assembly code. It reveals several significant and effective
enhancements with refined types, including bit-level granularity tracking,
distinguishing different effects of variables, precise type …
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
Information Technology Specialist II: Network Architect
@ Los Angeles County Employees Retirement Association (LACERA) | Pasadena, CA
Cybersecurity Skills Challenge -- Sponsored by DoD
@ Correlation One | United States
Security Operations Center (SOC) Analyst
@ GK Cybersecurity Group | Remote
Information Security Officer DIGI
@ Citymesh | Oostkamp, Vlaams Gewest, Belgium
Banking Sector | SOC Analyst
@ Devoteam | Porto, Portugal
Principal Cloud Security Engineer
@ Arctic Wolf | Remote - Minnesota