Details Details PDF BIBTEX RIS Title Using SAT Solvers to Finding Short Cycles in Cryptographic Algorithms Journal title International Journal of Electronics and Telecommunications Yearbook 2020 Volume vol. 66 Issue No 3 Authors Dudzic, Władysław ; Kanciak, Krzysztof Keywords NLFSR ; short cycles ; stream ciphers ; Trivium ; Bivium ; Grain-80 ; Grain-128 Divisions of PAS Nauki Techniczne Coverage 443-448 Publisher Polish Academy of Sciences Committee of Electronics and Telecommunications Date 2020.09.17 Type Article Identifier DOI: 10.24425/ijet.2020.131897 Source International Journal of Electronics and Telecommunications; 2020; vol. 66; No 3; 443-448 <div class="test"></div>