{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T17:27:17Z","timestamp":1780075637272,"version":"3.54.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T00:00:00Z","timestamp":1562976000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100009094","name":"Russian Science Foundation","doi-asserted-by":"publisher","award":["18-71-00150"],"award-info":[{"award-number":["18-71-00150"]}],"id":[{"id":"10.13039\/100009094","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,13]]},"DOI":"10.1145\/3321707.3321847","type":"proceedings-article","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T13:48:04Z","timestamp":1562161684000},"page":"312-320","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks"],"prefix":"10.1145","author":[{"given":"Artem","family":"Pavlenko","sequence":"first","affiliation":[{"name":"ITMO University, Saint Petersburg, Russia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maxim","family":"Buzdalov","sequence":"additional","affiliation":[{"name":"ITMO University, Saint Petersburg, Russia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vladimir","family":"Ulyantsev","sequence":"additional","affiliation":[{"name":"ITMO University, Saint Petersburg, Russia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Ross Anderson. 1994. A5 (was: Hacking digital phones). http:\/\/yarchive.net\/phone\/gsmcipher.html  Ross Anderson. 1994. A5 (was: Hacking digital phones). http:\/\/yarchive.net\/phone\/gsmcipher.html"},{"key":"e_1_3_2_1_2_1","unstructured":"Gregory V. Bard. 2009. Algebraic Cryptanalysis. Springer.   Gregory V. Bard. 2009. Algebraic Cryptanalysis. Springer."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1038\/156177a0"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of SAT Competition","volume":"1","author":"Biere Armin","year":"2016","unstructured":"Armin Biere . 2016 . Splatz, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2016 . In Proceedings of SAT Competition 2016, Vol. B-2016- 1 . 44--45. Armin Biere. 2016. Splatz, Lingeling, Plingeling, Treengeling, YalSAT Entering the SAT Competition 2016. In Proceedings of SAT Competition 2016, Vol. B-2016-1. 44--45."},{"key":"e_1_3_2_1_5_1","unstructured":"Armin Biere Marijn Heule Hans van Maaren and Toby Walsh (Eds.). 2009. Handbook of Satisfiability. Number 185 in Frontiers in Artificial Intelligence and Applications. IOS Press.   Armin Biere Marijn Heule Hans van Maaren and Toby Walsh (Eds.). 2009. Handbook of Satisfiability. Number 185 in Frontiers in Artificial Intelligence and Applications. IOS Press."},{"key":"e_1_3_2_1_6_1","first-page":"55","article-title":"Model Design for a Reduced Variant of a Trivium Type Stream Cipher","volume":"14","author":"Lechtaler Antonio Castro","year":"2014","unstructured":"Antonio Castro Lechtaler , Marcelo Cipriano , Edith Garc\u00eda , Julio Liporace , Ariel Maiorano , and Eduardo Malvacio . 2014 . Model Design for a Reduced Variant of a Trivium Type Stream Cipher . Journal of Computer Science & Technology 14 , 01 (2014), 55 -- 58 . Antonio Castro Lechtaler, Marcelo Cipriano, Edith Garc\u00eda, Julio Liporace, Ariel Maiorano, and Eduardo Malvacio. 2014. Model Design for a Reduced Variant of a Trivium Type Stream Cipher. Journal of Computer Science & Technology 14, 01 (2014), 55--58.","journal-title":"Journal of Computer Science & Technology"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","volume-title":"Bard","author":"Courtois Nicolas T.","year":"2007","unstructured":"Nicolas T. Courtois and Gregory V . Bard . 2007 . Algebraic Cryptanalysis of the Data Encryption Standard. In Cryptography and Coding. Number 4887 in Lecture Notes in Computer Science . 152--169. Nicolas T. Courtois and Gregory V. Bard. 2007. Algebraic Cryptanalysis of the Data Encryption Standard. In Cryptography and Coding. Number 4887 in Lecture Notes in Computer Science. 152--169."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2478\/v10127-012-0039-3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11836810_13"},{"key":"e_1_3_2_1_11_1","volume-title":"An Extensible SAT-solver. In SAT 2003: Theory and Applications of Satisfiability Testing. Number 2919 in Lecture Notes in Computer Science. 502--518","author":"E\u00e9n Niklas","year":"2003","unstructured":"Niklas E\u00e9n and Niklas S\u00f6rensson . 2003 . An Extensible SAT-solver. In SAT 2003: Theory and Applications of Satisfiability Testing. Number 2919 in Lecture Notes in Computer Science. 502--518 . Niklas E\u00e9n and Niklas S\u00f6rensson. 2003. An Extensible SAT-solver. In SAT 2003: Theory and Applications of Satisfiability Testing. Number 2919 in Lecture Notes in Computer Science. 502--518."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"T.\n      Eibach E.\n      Pilz and \n      G.\n      V\u00f6lkel\n  . \n  2008\n  . Attacking Bivium Using SAT Solvers. In SAT 2008. \n  Number\n   4996 in \n  Lecture Notes in Computer Science\n  . 63--76.   T. Eibach E. Pilz and G. V\u00f6lkel. 2008. Attacking Bivium Using SAT Solvers. In SAT 2008. Number 4996 in Lecture Notes in Computer Science. 63--76.","DOI":"10.1007\/978-3-540-79719-7_7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.2307\/2340521"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/3171837.3171970"},{"key":"e_1_3_2_1_16_1","first-page":"110","article-title":"Tabu search methods for optimization","volume":"106","author":"Glover F.","year":"1998","unstructured":"F. Glover . 1998 . Tabu search methods for optimization . Feature Issue of European Journal on Operations Research 106 , 2 (1998), 110 -- 115 . F. Glover. 1998. Tabu search methods for optimization. Feature Issue of European Journal on Operations Research 106, 2 (1998), 110--115.","journal-title":"Feature Issue of European Journal on Operations Research"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJWMC.2007.013798"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Zhenyu Huang and Dongdai Lin. 2011. Attacking Bivium and Trivium with the Characteristic Set Method. In AFRICACRYPT. Number 6737 in Lecture Notes in Computer Science. 77--91.   Zhenyu Huang and Dongdai Lin. 2011. Attacking Bivium and Trivium with the Characteristic Set Method. In AFRICACRYPT. Number 6737 in Lecture Notes in Computer Science. 77--91.","DOI":"10.1007\/978-3-642-21969-6_5"},{"key":"e_1_3_2_1_19_1","unstructured":"Zhenyu Huang Yao Sun and Dongdai Lin. 2016. On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method. https:\/\/arxiv.org\/abs\/1405.4596v3  Zhenyu Huang Yao Sun and Dongdai Lin. 2016. On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method. https:\/\/arxiv.org\/abs\/1405.4596v3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(3:30)2012"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"S. Kirkpatrick C. D. Gelatt and M. P. Vecchi. 1983. Optimization by Simulated Annealing. Science 220 4598 (1983) 671--680.  S. Kirkpatrick C. D. Gelatt and M. P. Vecchi. 1983. Optimization by Simulated Annealing. Science 220 4598 (1983) 671--680.","DOI":"10.1126\/science.220.4598.671"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2017.7973628"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205455.3205478"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1952.10483441"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177730491"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Alexander Maximov and Alex Biryukov. 2007. Two Trivial Attacks on Trivium. In Selected Areas in Cryptography (Lecture Notes in Computer Science). 36--55.   Alexander Maximov and Alex Biryukov. 2007. Two Trivial Attacks on Trivium. In Selected Areas in Cryptography (Lecture Notes in Computer Science). 36--55.","DOI":"10.1007\/978-3-540-77360-3_3"},{"key":"e_1_3_2_1_27_1","unstructured":"Cameron McDonald Josef Pieprzyk and Phil Hawkes. 2009. Automatic Differential Path Searching for SHA-1. http:\/\/eurocrypt2009rump.cr.yp.to\/837a0a8086fa6ca714249409ddfae43d.pdf  Cameron McDonald Josef Pieprzyk and Phil Hawkes. 2009. Automatic Differential Path Searching for SHA-1. http:\/\/eurocrypt2009rump.cr.yp.to\/837a0a8086fa6ca714249409ddfae43d.pdf"},{"key":"e_1_3_2_1_28_1","volume-title":"Multi-Objective Evolutionary Hardware for RSA-Based Cryptosystems. In Proceedings of International Conference on Information Technology: Coding and Computing","volume":"2","author":"Nedjah N.","unstructured":"N. Nedjah and L. de Macedo Mourelle. 2004 . Multi-Objective Evolutionary Hardware for RSA-Based Cryptosystems. In Proceedings of International Conference on Information Technology: Coding and Computing , Vol. 2 . 503--507. N. Nedjah and L. de Macedo Mourelle. 2004. Multi-Objective Evolutionary Hardware for RSA-Based Cryptosystems. In Proceedings of International Conference on Information Technology: Coding and Computing, Vol. 2. 503--507."},{"key":"e_1_3_2_1_29_1","unstructured":"K. Nohl. 2010. Attacking Phone Privacy. https:\/\/media.blackhat.com\/bh-us-10\/whitepapers\/Nohl\/BlackHat-USA-2010-Nohl-Attacking.Phone.Privacy-wp.pdf  K. Nohl. 2010. Attacking Phone Privacy. https:\/\/media.blackhat.com\/bh-us-10\/whitepapers\/Nohl\/BlackHat-USA-2010-Nohl-Attacking.Phone.Privacy-wp.pdf"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-672-9-1594"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of 34th International Convention on Information and Communication Technology, Electronics and Microelectronics. 1496--1501","author":"Picek Stjepan","year":"2011","unstructured":"Stjepan Picek and Marin Golub . 2011 . On Evolutionary Computation Methods in Cryptography . In Proceedings of 34th International Convention on Information and Communication Technology, Electronics and Microelectronics. 1496--1501 . Stjepan Picek and Marin Golub. 2011. On Evolutionary Computation Methods in Cryptography. In Proceedings of 34th International Convention on Information and Communication Technology, Electronics and Microelectronics. 1496--1501."},{"key":"e_1_3_2_1_32_1","volume-title":"Genetic Algorithm in Stream Cipher Cryptanalysis. In Computational Collective Intelligence: Proceedings of ICCCI","author":"Polak Iwona","year":"2015","unstructured":"Iwona Polak and Mariusz Boryczka . 2015 . Genetic Algorithm in Stream Cipher Cryptanalysis. In Computational Collective Intelligence: Proceedings of ICCCI 2015, Part II. Number 9330 in Lecture Notes in Computer Science. 149--158. Iwona Polak and Mariusz Boryczka. 2015. Genetic Algorithm in Stream Cipher Cryptanalysis. In Computational Collective Intelligence: Proceedings of ICCCI 2015, Part II. Number 9330 in Lecture Notes in Computer Science. 149--158."},{"key":"e_1_3_2_1_33_1","volume-title":"R: A Language and Environment for Statistical Computing","author":"Team R Core","year":"2013","unstructured":"R Core Team . 2013 . R: A Language and Environment for Statistical Computing . http:\/\/www.R-project.org\/. http:\/\/www.R-project.org\/ R Core Team. 2013. R: A Language and Environment for Statistical Computing. http:\/\/www.R-project.org\/. http:\/\/www.R-project.org\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/359340.359342"},{"key":"e_1_3_2_1_36_1","volume-title":"Cryptography and public key infrastructure on the Internet","author":"Schmeh Klaus","unstructured":"Klaus Schmeh . 2003. Cryptography and public key infrastructure on the Internet . John Wiley & Sons . Klaus Schmeh. 2003. Cryptography and public key infrastructure on the Internet. John Wiley & Sons."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40064-016-2187-4"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the AAAI Conference. 6641--6648","author":"Semenov Alexander","year":"2018","unstructured":"Alexander Semenov , Oleg Zaikin , Ilya Otpuschennikov , Stepan Kochemazov , and Alexey Ignatiev . 2018 . On Cryptographic Attacks Using Backdoors for SAT . In Proceedings of the AAAI Conference. 6641--6648 . Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov, Stepan Kochemazov, and Alexey Ignatiev. 2018. On Cryptographic Attacks Using Backdoors for SAT. In Proceedings of the AAAI Conference. 6641--6648."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_24"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of Australasian Information Security Conference","volume":"149","author":"Teo Sui-Guan","year":"2014","unstructured":"Sui-Guan Teo , Kenneth Koon-Ho Wong , Harry Bartlett , Leonie Simpson , and Ed Dawson . 2014 . Algebraic analysis of Trivium-like ciphers . In Proceedings of Australasian Information Security Conference , Vol. 149 . Australian Computer Society, 77--81. Sui-Guan Teo, Kenneth Koon-Ho Wong, Harry Bartlett, Leonie Simpson, and Ed Dawson. 2014. Algebraic analysis of Trivium-like ciphers. In Proceedings of Australasian Information Security Conference, Vol. 149. Australian Computer Society, 77--81."},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of International Conference on Hybrid Information Technology. 335--341","author":"Tragha A.","unstructured":"A. Tragha , F. Omary , and A. Mouloudi . 2006. ICIGA: Improved Cryptography Inspired by Genetic Algorithms . In Proceedings of International Conference on Hybrid Information Technology. 335--341 . A. Tragha, F. Omary, and A. Mouloudi. 2006. ICIGA: Improved Cryptography Inspired by Genetic Algorithms. In Proceedings of International Conference on Hybrid Information Technology. 335--341."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence. 1173--1178","author":"Williams Ryan","year":"2003","unstructured":"Ryan Williams , Carla P. Gomes , and Bart Selman . 2003 . Backdoors to Typical Case Complexity . In Proceedings of International Joint Conference on Artificial Intelligence. 1173--1178 . Ryan Williams, Carla P. Gomes, and Bart Selman. 2003. Backdoors to Typical Case Complexity. In Proceedings of International Joint Conference on Artificial Intelligence. 1173--1178."},{"key":"e_1_3_2_1_44_1","volume-title":"SAT Competition","author":"Yasumoto Takeru","year":"2014","unstructured":"Takeru Yasumoto and Takumi Okuwaga . 2014. ROKK 1.0.1. In SAT Competition 2014 , Anton Belov, Daniel Diepold , Marijn Heule, and Matti J\u00e4rvisalo (Eds .). 70. Takeru Yasumoto and Takumi Okuwaga. 2014. ROKK 1.0.1. In SAT Competition 2014, Anton Belov, Daniel Diepold, Marijn Heule, and Matti J\u00e4rvisalo (Eds.). 70."}],"event":{"name":"GECCO '19: Genetic and Evolutionary Computation Conference","location":"Prague Czech Republic","acronym":"GECCO '19","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3321707.3321847","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3321707.3321847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:29Z","timestamp":1750206329000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3321707.3321847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,13]]},"references-count":41,"alternative-id":["10.1145\/3321707.3321847","10.1145\/3321707"],"URL":"https:\/\/doi.org\/10.1145\/3321707.3321847","relation":{},"subject":[],"published":{"date-parts":[[2019,7,13]]},"assertion":[{"value":"2019-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}