FRINK Linked Data Fragments server

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

• W2888075425 abstract "We present an algebraic fault attack (AFA) solver for recovering secret bits from hardware implementations of the SHA family of hash functions. The crucial insight in our method is the use of SHA-based propagation and conflict-analysis methods in the inner-loop of a Boolean conflict-driven clause-learning SAT solver, a la the DPLL(T) paradigm. In our method the fault-injected part of the hash function is translated into a Boolean formula (which is then fed as input to the SAT solver), while the rest is encoded via a programmatic interface as part of the SAT solver’s propagation and conflict analysis routines. Such an approach enables the addition of learnt clauses to the SAT solver in an on-demand and lazy fashion. We evaluated our tool under a variety of fault models, and showed that we can recover the secret bits faster and with far fewer number of injected faults compared to previous best work. AFA is a powerful way of empirically verifying the strength of a cryptographic function’s implementation." @default.
• W2888075425 created "2018-08-31" @default.
• W2888075425 creator A5035154433 @default.
• W2888075425 creator A5050128221 @default.
• W2888075425 creator A5052292970 @default.
• W2888075425 creator A5072282822 @default.
• W2888075425 date "2018-01-01" @default.
• W2888075425 modified "2023-09-27" @default.
• W2888075425 title "Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers" @default.
• W2888075425 cites W1600075072 @default.
• W2888075425 cites W1829732909 @default.
• W2888075425 cites W1984233254 @default.
• W2888075425 cites W2014189456 @default.
• W2888075425 cites W2016155892 @default.
• W2888075425 cites W2030362350 @default.
• W2888075425 cites W2054985660 @default.
• W2888075425 cites W2085992264 @default.
• W2888075425 cites W2092053813 @default.
• W2888075425 cites W2108329338 @default.
• W2888075425 cites W2111725598 @default.
• W2888075425 cites W2129487583 @default.
• W2888075425 cites W2159224843 @default.
• W2888075425 cites W2170489924 @default.
• W2888075425 cites W2223094528 @default.
• W2888075425 cites W2234259500 @default.
• W2888075425 cites W2275561544 @default.
• W2888075425 cites W2294268844 @default.
• W2888075425 cites W2299459657 @default.
• W2888075425 cites W2465314249 @default.
• W2888075425 cites W2498324117 @default.
• W2888075425 cites W2512182535 @default.
• W2888075425 cites W2560323131 @default.
• W2888075425 cites W2604745103 @default.
• W2888075425 cites W2612869109 @default.
• W2888075425 cites W2963452421 @default.
• W2888075425 cites W4249503713 @default.
• W2888075425 cites W4289127653 @default.
• W2888075425 cites W82510437 @default.
• W2888075425 doi "https://doi.org/10.1007/978-3-319-98334-9_47" @default.
• W2888075425 hasPublicationYear "2018" @default.
• W2888075425 type Work @default.
• W2888075425 sameAs 2888075425 @default.
• W2888075425 citedByCount "4" @default.
• W2888075425 countsByYear W28880754252020 @default.
• W2888075425 countsByYear W28880754252021 @default.
• W2888075425 crossrefType "book-chapter" @default.
• W2888075425 hasAuthorship W2888075425A5035154433 @default.
• W2888075425 hasAuthorship W2888075425A5050128221 @default.
• W2888075425 hasAuthorship W2888075425A5052292970 @default.
• W2888075425 hasAuthorship W2888075425A5072282822 @default.
• W2888075425 hasConcept C11413529 @default.
• W2888075425 hasConcept C12707504 @default.
• W2888075425 hasConcept C134652429 @default.
• W2888075425 hasConcept C143936061 @default.
• W2888075425 hasConcept C15927051 @default.
• W2888075425 hasConcept C173608175 @default.
• W2888075425 hasConcept C178489894 @default.
• W2888075425 hasConcept C187455244 @default.
• W2888075425 hasConcept C199360897 @default.
• W2888075425 hasConcept C2775928411 @default.
• W2888075425 hasConcept C2777904410 @default.
• W2888075425 hasConcept C2778770139 @default.
• W2888075425 hasConcept C33884865 @default.
• W2888075425 hasConcept C41008148 @default.
• W2888075425 hasConcept C6943359 @default.
• W2888075425 hasConcept C7608002 @default.
• W2888075425 hasConcept C76155785 @default.
• W2888075425 hasConcept C80444323 @default.
• W2888075425 hasConcept C99138194 @default.
• W2888075425 hasConceptScore W2888075425C11413529 @default.
• W2888075425 hasConceptScore W2888075425C12707504 @default.
• W2888075425 hasConceptScore W2888075425C134652429 @default.
• W2888075425 hasConceptScore W2888075425C143936061 @default.
• W2888075425 hasConceptScore W2888075425C15927051 @default.
• W2888075425 hasConceptScore W2888075425C173608175 @default.
• W2888075425 hasConceptScore W2888075425C178489894 @default.
• W2888075425 hasConceptScore W2888075425C187455244 @default.
• W2888075425 hasConceptScore W2888075425C199360897 @default.
• W2888075425 hasConceptScore W2888075425C2775928411 @default.
• W2888075425 hasConceptScore W2888075425C2777904410 @default.
• W2888075425 hasConceptScore W2888075425C2778770139 @default.
• W2888075425 hasConceptScore W2888075425C33884865 @default.
• W2888075425 hasConceptScore W2888075425C41008148 @default.
• W2888075425 hasConceptScore W2888075425C6943359 @default.
• W2888075425 hasConceptScore W2888075425C7608002 @default.
• W2888075425 hasConceptScore W2888075425C76155785 @default.
• W2888075425 hasConceptScore W2888075425C80444323 @default.
• W2888075425 hasConceptScore W2888075425C99138194 @default.
• W2888075425 hasLocation W28880754251 @default.
• W2888075425 hasOpenAccess W2888075425 @default.
• W2888075425 hasPrimaryLocation W28880754251 @default.
• W2888075425 hasRelatedWork W1583771634 @default.
• W2888075425 hasRelatedWork W1605798759 @default.
• W2888075425 hasRelatedWork W1971825884 @default.
• W2888075425 hasRelatedWork W2087446885 @default.
• W2888075425 hasRelatedWork W2106335824 @default.
• W2888075425 hasRelatedWork W2118916888 @default.
• W2888075425 hasRelatedWork W2272860309 @default.
• W2888075425 hasRelatedWork W2361165257 @default.
• W2888075425 hasRelatedWork W2545908656 @default.

• next