Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295693779> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- W4295693779 abstract "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 inferences, and high scalability. (2) CaType is the first static analyzer for crypto libraries in consideration of blinding-based defenses. (3) From the perspective of implementation, CaType uses cache layouts of potential vulnerable control-flow branches rather than cache states to suppress false positives. We evaluate CaType in identifying side channel vulnerabilities in real-world crypto software, including RSA, ElGamal, and (EC)DSA from OpenSSL and Libgcrypt. CaType captures all known defects, detects previously-unknown vulnerabilities, and reveals several false positives of previous tools. In terms of performance, CaType is 16X faster than CacheD and 131X faster than CacheS when analyzing the same libraries. These evaluation results confirm the capability of CaType in identifying side channel defects with great precision, efficiency, and scalability." @default.
- W4295693779 created "2022-09-14" @default.
- W4295693779 creator A5006901857 @default.
- W4295693779 creator A5028270700 @default.
- W4295693779 creator A5053626139 @default.
- W4295693779 creator A5072886386 @default.
- W4295693779 creator A5081093741 @default.
- W4295693779 date "2022-09-10" @default.
- W4295693779 modified "2023-09-29" @default.
- W4295693779 title "Cache Refinement Type for Side-Channel Detection of Cryptographic Software" @default.
- W4295693779 doi "https://doi.org/10.48550/arxiv.2209.04610" @default.
- W4295693779 hasPublicationYear "2022" @default.
- W4295693779 type Work @default.
- W4295693779 citedByCount "0" @default.
- W4295693779 crossrefType "posted-content" @default.
- W4295693779 hasAuthorship W4295693779A5006901857 @default.
- W4295693779 hasAuthorship W4295693779A5028270700 @default.
- W4295693779 hasAuthorship W4295693779A5053626139 @default.
- W4295693779 hasAuthorship W4295693779A5072886386 @default.
- W4295693779 hasAuthorship W4295693779A5081093741 @default.
- W4295693779 hasLocation W42956937791 @default.
- W4295693779 hasOpenAccess W4295693779 @default.
- W4295693779 hasPrimaryLocation W42956937791 @default.
- W4295693779 hasRelatedWork W1484089092 @default.
- W4295693779 hasRelatedWork W1516514319 @default.
- W4295693779 hasRelatedWork W1541798144 @default.
- W4295693779 hasRelatedWork W1549794385 @default.
- W4295693779 hasRelatedWork W2109797988 @default.
- W4295693779 hasRelatedWork W2125347099 @default.
- W4295693779 hasRelatedWork W2356863646 @default.
- W4295693779 hasRelatedWork W2379400621 @default.
- W4295693779 hasRelatedWork W2391204328 @default.
- W4295693779 hasRelatedWork W2611544471 @default.
- W4295693779 isParatext "false" @default.
- W4295693779 isRetracted "false" @default.
- W4295693779 workType "article" @default.