FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296539686> ?p ?o ?g. }

• W4296539686 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.
• W4296539686 created "2022-09-21" @default.
• W4296539686 creator A5006901857 @default.
• W4296539686 creator A5028270700 @default.
• W4296539686 creator A5056854451 @default.
• W4296539686 creator A5060172945 @default.
• W4296539686 creator A5072886386 @default.
• W4296539686 date "2022-11-07" @default.
• W4296539686 modified "2023-10-17" @default.
• W4296539686 title "Cache Refinement Type for Side-Channel Detection of Cryptographic Software" @default.
• W4296539686 cites W1480909796 @default.
• W4296539686 cites W1580599221 @default.
• W4296539686 cites W17195072 @default.
• W4296539686 cites W1934458198 @default.
• W4296539686 cites W1992291252 @default.
• W4296539686 cites W2025539306 @default.
• W4296539686 cites W2036961426 @default.
• W4296539686 cites W2058546698 @default.
• W4296539686 cites W2070775894 @default.
• W4296539686 cites W2072550684 @default.
• W4296539686 cites W2106728965 @default.
• W4296539686 cites W2115595690 @default.
• W4296539686 cites W2117550587 @default.
• W4296539686 cites W2122049982 @default.
• W4296539686 cites W2127992996 @default.
• W4296539686 cites W2166293920 @default.
• W4296539686 cites W2213874144 @default.
• W4296539686 cites W2294680933 @default.
• W4296539686 cites W2294921903 @default.
• W4296539686 cites W2337480911 @default.
• W4296539686 cites W2536698892 @default.
• W4296539686 cites W2807403537 @default.
• W4296539686 cites W2807459027 @default.
• W4296539686 cites W2858117630 @default.
• W4296539686 cites W2860564492 @default.
• W4296539686 cites W2883707793 @default.
• W4296539686 cites W2885297972 @default.
• W4296539686 cites W2905380323 @default.
• W4296539686 cites W2912873165 @default.
• W4296539686 cites W2925685215 @default.
• W4296539686 cites W2947561435 @default.
• W4296539686 cites W2997262806 @default.
• W4296539686 cites W3006532676 @default.
• W4296539686 cites W3016059855 @default.
• W4296539686 cites W3021257004 @default.
• W4296539686 cites W3096664316 @default.
• W4296539686 cites W3097493954 @default.
• W4296539686 cites W3106626168 @default.
• W4296539686 cites W3140873655 @default.
• W4296539686 cites W3155615090 @default.
• W4296539686 cites W3181370975 @default.
• W4296539686 cites W4233081111 @default.
• W4296539686 cites W4240110690 @default.
• W4296539686 cites W4296539686 @default.
• W4296539686 cites W587262091 @default.
• W4296539686 cites W72918221 @default.
• W4296539686 doi "https://doi.org/10.1145/3548606.3560672" @default.
• W4296539686 hasPublicationYear "2022" @default.
• W4296539686 type Work @default.
• W4296539686 citedByCount "1" @default.
• W4296539686 countsByYear W42965396862022 @default.
• W4296539686 crossrefType "proceedings-article" @default.
• W4296539686 hasAuthorship W4296539686A5006901857 @default.
• W4296539686 hasAuthorship W4296539686A5028270700 @default.
• W4296539686 hasAuthorship W4296539686A5056854451 @default.
• W4296539686 hasAuthorship W4296539686A5060172945 @default.
• W4296539686 hasAuthorship W4296539686A5072886386 @default.
• W4296539686 hasBestOaLocation W42965396862 @default.
• W4296539686 hasConcept C111919701 @default.
• W4296539686 hasConcept C115537543 @default.
• W4296539686 hasConcept C119857082 @default.
• W4296539686 hasConcept C149635348 @default.
• W4296539686 hasConcept C167713795 @default.
• W4296539686 hasConcept C173608175 @default.
• W4296539686 hasConcept C178489894 @default.
• W4296539686 hasConcept C189783530 @default.
• W4296539686 hasConcept C25536678 @default.
• W4296539686 hasConcept C2777904410 @default.
• W4296539686 hasConcept C38556500 @default.
• W4296539686 hasConcept C38652104 @default.
• W4296539686 hasConcept C41008148 @default.
• W4296539686 hasConcept C48044578 @default.
• W4296539686 hasConcept C49289754 @default.
• W4296539686 hasConcept C6295992 @default.
• W4296539686 hasConcept C64869954 @default.
• W4296539686 hasConceptScore W4296539686C111919701 @default.
• W4296539686 hasConceptScore W4296539686C115537543 @default.
• W4296539686 hasConceptScore W4296539686C119857082 @default.
• W4296539686 hasConceptScore W4296539686C149635348 @default.
• W4296539686 hasConceptScore W4296539686C167713795 @default.
• W4296539686 hasConceptScore W4296539686C173608175 @default.
• W4296539686 hasConceptScore W4296539686C178489894 @default.
• W4296539686 hasConceptScore W4296539686C189783530 @default.
• W4296539686 hasConceptScore W4296539686C25536678 @default.
• W4296539686 hasConceptScore W4296539686C2777904410 @default.
• W4296539686 hasConceptScore W4296539686C38556500 @default.
• W4296539686 hasConceptScore W4296539686C38652104 @default.
• W4296539686 hasConceptScore W4296539686C41008148 @default.
• W4296539686 hasConceptScore W4296539686C48044578 @default.
• W4296539686 hasConceptScore W4296539686C49289754 @default.

• next