Matches in SemOpenAlex for { <https://semopenalex.org/work/W2808596127> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2808596127 abstract "The absence of short cycles is a desirable property for cryptographic algorithms that are iterated. Furthermore, as demonstrated by the cryptanalysis of A5, short cycles can be exploited to reduce the complexity of an attack. We present an algorithm which uses a SAT-based bounded model checking for finding all short cycles of a given length. The existing Boolean Decision Diagram (BDD) based algorithms for finding cycles have limited capacity due to the excessive memory requirements of BDDs. The simulation-based algorithms can be applied to larger problem instances, however, they cannot guarantee the detection of all cycles of a given length. The same holds for general-purpose SAT-based model checkers. The presented algorithm can handle cryptographic algorithms with very large state spaces, including important ciphers such as Trivium and Grain-128. We found that these ciphers contain short cycles whose existence, to our best knowledge, was previously unknown. This potentially opens new possibilities for cryptanalysis." @default.
- W2808596127 created "2018-06-21" @default.
- W2808596127 creator A5011438358 @default.
- W2808596127 creator A5058899830 @default.
- W2808596127 date "2018-04-01" @default.
- W2808596127 modified "2023-09-30" @default.
- W2808596127 title "An efficient SAT-based algorithm for finding short cycles in cryptographic algorithms" @default.
- W2808596127 cites W1480210121 @default.
- W2808596127 cites W1493523706 @default.
- W2808596127 cites W1550790359 @default.
- W2808596127 cites W1578592046 @default.
- W2808596127 cites W1583771634 @default.
- W2808596127 cites W1605798759 @default.
- W2808596127 cites W172560767 @default.
- W2808596127 cites W1968465898 @default.
- W2808596127 cites W2010689735 @default.
- W2808596127 cites W2012388690 @default.
- W2808596127 cites W2024148935 @default.
- W2808596127 cites W2026376709 @default.
- W2808596127 cites W2036265926 @default.
- W2808596127 cites W2057361103 @default.
- W2808596127 cites W2060310671 @default.
- W2808596127 cites W2062897452 @default.
- W2808596127 cites W2064164319 @default.
- W2808596127 cites W2074291458 @default.
- W2808596127 cites W2076397729 @default.
- W2808596127 cites W2095701698 @default.
- W2808596127 cites W2101428010 @default.
- W2808596127 cites W2103523108 @default.
- W2808596127 cites W2106335824 @default.
- W2808596127 cites W2108020239 @default.
- W2808596127 cites W2119956173 @default.
- W2808596127 cites W2128546931 @default.
- W2808596127 cites W2131719221 @default.
- W2808596127 cites W2141060521 @default.
- W2808596127 cites W2142785340 @default.
- W2808596127 cites W2145198449 @default.
- W2808596127 cites W2149793686 @default.
- W2808596127 cites W2153839473 @default.
- W2808596127 cites W2166214692 @default.
- W2808596127 cites W2211446271 @default.
- W2808596127 cites W2913925549 @default.
- W2808596127 cites W2951510007 @default.
- W2808596127 cites W763600167 @default.
- W2808596127 cites W1541566210 @default.
- W2808596127 cites W2611863566 @default.
- W2808596127 doi "https://doi.org/10.1109/hst.2018.8383892" @default.
- W2808596127 hasPublicationYear "2018" @default.
- W2808596127 type Work @default.
- W2808596127 sameAs 2808596127 @default.
- W2808596127 citedByCount "1" @default.
- W2808596127 countsByYear W28085961272020 @default.
- W2808596127 crossrefType "proceedings-article" @default.
- W2808596127 hasAuthorship W2808596127A5011438358 @default.
- W2808596127 hasAuthorship W2808596127A5058899830 @default.
- W2808596127 hasConcept C11413529 @default.
- W2808596127 hasConcept C178489894 @default.
- W2808596127 hasConcept C181149355 @default.
- W2808596127 hasConcept C187455244 @default.
- W2808596127 hasConcept C41008148 @default.
- W2808596127 hasConcept C80444323 @default.
- W2808596127 hasConcept C92950451 @default.
- W2808596127 hasConceptScore W2808596127C11413529 @default.
- W2808596127 hasConceptScore W2808596127C178489894 @default.
- W2808596127 hasConceptScore W2808596127C181149355 @default.
- W2808596127 hasConceptScore W2808596127C187455244 @default.
- W2808596127 hasConceptScore W2808596127C41008148 @default.
- W2808596127 hasConceptScore W2808596127C80444323 @default.
- W2808596127 hasConceptScore W2808596127C92950451 @default.
- W2808596127 hasLocation W28085961271 @default.
- W2808596127 hasOpenAccess W2808596127 @default.
- W2808596127 hasPrimaryLocation W28085961271 @default.
- W2808596127 hasRelatedWork W1516564968 @default.
- W2808596127 hasRelatedWork W1898934592 @default.
- W2808596127 hasRelatedWork W1981112383 @default.
- W2808596127 hasRelatedWork W2009949769 @default.
- W2808596127 hasRelatedWork W2105517148 @default.
- W2808596127 hasRelatedWork W2124734098 @default.
- W2808596127 hasRelatedWork W2290608413 @default.
- W2808596127 hasRelatedWork W2298051212 @default.
- W2808596127 hasRelatedWork W2361165257 @default.
- W2808596127 hasRelatedWork W2493520480 @default.
- W2808596127 hasRelatedWork W2765751865 @default.
- W2808596127 hasRelatedWork W2787559528 @default.
- W2808596127 hasRelatedWork W2810892201 @default.
- W2808596127 hasRelatedWork W2909606757 @default.
- W2808596127 hasRelatedWork W3039293627 @default.
- W2808596127 hasRelatedWork W3102539212 @default.
- W2808596127 hasRelatedWork W3184210473 @default.
- W2808596127 hasRelatedWork W3188573581 @default.
- W2808596127 hasRelatedWork W3196785907 @default.
- W2808596127 hasRelatedWork W50590539 @default.
- W2808596127 isParatext "false" @default.
- W2808596127 isRetracted "false" @default.
- W2808596127 magId "2808596127" @default.
- W2808596127 workType "article" @default.