Szczegóły Szczegóły PDF BIBTEX RIS Tytuł artykułu Using SAT Solvers to Finding Short Cycles in Cryptographic Algorithms Tytuł czasopisma International Journal of Electronics and Telecommunications Rocznik 2020 Wolumin vol. 66 Numer No 3 Autorzy Dudzic, Władysław ; Kanciak, Krzysztof Słowa kluczowe NLFSR ; short cycles ; stream ciphers ; Trivium ; Bivium ; Grain-80 ; Grain-128 Wydział PAN Nauki Techniczne Zakres 443-448 Wydawca Polish Academy of Sciences Committee of Electronics and Telecommunications Data 2020.09.17 Typ Article Identyfikator DOI: 10.24425/ijet.2020.131897 ; eISSN 2300-1933 (since 2013) ; ISSN 2081-8491 (until 2012) Źródło International Journal of Electronics and Telecommunications; 2020; vol. 66; No 3; 443-448 <div class="test"></div>