Encoding Cryptographic Functions to SAT Using TRANSALG System SK Ilya Otpuschennikov, Alexander Semenov, Irina Gribanova, Oleg Zaikin Frontiers in Artificial Intelligence and Applications 285, 1594-1595, 2016 | 59* | 2016 |
On cryptographic attacks using backdoors for SAT A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 47 | 2018 |
Translation of algorithmic descriptions of discrete functions to SAT with applications to cryptanalysis problems A Semenov, I Otpuschennikov, I Gribanova, O Zaikin, S Kochemazov Logical Methods in Computer Science 16, 2020 | 28 | 2020 |
On the construction of triples of diagonal Latin squares of order 10 O Zaikin, A Zhuravlev, S Kochemazov, E Vatutin Electronic Notes in Discrete Mathematics 54, 307-312, 2016 | 27 | 2016 |
The search for systems of diagonal Latin squares using the SAT@ home project Z Oleg, K Stepan International Journal of Open Information Technologies 3 (11), 4-9, 2015 | 26 | 2015 |
Using synchronous boolean networks to model several phenomena of collective behavior S Kochemazov, A Semenov PLoS One 9 (12), e115156, 2014 | 24 | 2014 |
MapleLCMDistChronoBT-DL, duplicate learnts heuristic-aided solvers at the SAT Race 2019 S Kochemazov, O Zaikin, V Kondratiev, A Semenov Proceedings of SAT Race, 24-24, 2019 | 23 | 2019 |
Enumeration of isotopy classes of diagonal Latin squares of small order using volunteer computing E Vatutin, A Belyshev, S Kochemazov, O Zaikin, N Nikitina Supercomputing: 4th Russian Supercomputing Days, RuSCDays 2018, Moscow …, 2019 | 23 | 2019 |
SAT-based search for systems of diagonal Latin squares in volunteer computing project SAT@ home O Zaikin, S Kochemazov, A Semenov 2016 39th International Convention on Information and Communication …, 2016 | 23 | 2016 |
Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares EI Vatutin, OS Zaikin, AD Zhuravlev, M Manzyuk, S Kochemazov, VS Titov Selected Papers of the 7th International Conference Distributed Computing …, 2016 | 20 | 2016 |
An improved SAT-based guess-and-determine attack on the alternating step generator O Zaikin, S Kochemazov Information Security: 20th International Conference, ISC 2017, Ho Chi Minh …, 2017 | 18 | 2017 |
Transalg: a tool for translating procedural descriptions of discrete functions to SAT I Otpuschennikov, A Semenov, S Kochemazov arXiv preprint arXiv:1405.1544, 2014 | 18 | 2014 |
Поиск пар ортогональных диагональных латинских квадратов порядка 10 в проекте добровольных распределенных вычислений SAT@ home ОС Заикин, СЕ Кочемазов Вестник Южно-Уральского государственного университета. Серия …, 2015 | 17 | 2015 |
Orthogonality-based classification of diagonal Latin squares of order 10 EI Vatutin, VS Titov, OS Zaikin, SE Kochemazov, MO Manzuk, NN Nikitina CEUR Workshop Proceedings 2267, 282-287, 2018 | 16 | 2018 |
Using volunteer computing to study some features of diagonal Latin squares E Vatutin, O Zaikin, S Kochemazov, S Valyaev Open Engineering 7 (1), 453-460, 2017 | 16 | 2017 |
Applying volunteer and parallel computing for enumerating diagonal latin squares of order 9 EI Vatutin, SE Kochemazov, OS Zaikin International Conference on Parallel Computational Technologies, 114-129, 2017 | 16 | 2017 |
Enumerating the transversals for diagonal Latin squares of small order EI Vatutin, SE Kochemazov, OS Zaikin, SY Valyaev CEUR Workshop Proceedings. Proceedings of the Third International Conference …, 2017 | 16 | 2017 |
ALIAS: A modular tool for finding backdoors for SAT S Kochemazov, O Zaikin Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018 | 14 | 2018 |
Enumerating diagonal Latin squares of order up to 9 ISB RAS Journal of Integer Sequences 23 (2), 3, 2020 | 13 | 2020 |
On some features of symmetric diagonal Latin squares E Vatutin, S Kochemazov, O Zaikin OPTOELECTRONIC EQUIPMENT AND DEVICES IN SYSTEMS OF PATTERN RECOGNITION …, 2017 | 12 | 2017 |