| Encoding cryptographic functions to SAT using Transalg system SK Ilya Otpuschennikov, Alexander Semenov, Irina Gribanova, Oleg Zaikin Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 60* | 2016 |
| Parallel logical cryptanalysis of the generator A5/1 in BNB-Grid system A Semenov, O Zaikin, D Bespalov, M Posypkin Parallel Computing Technologies: 11th International Conference, PaCT 2011 …, 2011 | 58 | 2011 |
| Using BOINC desktop grid to solve large scale SAT problems M Posypkin, A Semenov, O Zaikin Computer Science 13 (1), 25-25, 2012 | 50 | 2012 |
| 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 | 48 | 2018 |
| Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions A Semenov, O Zaikin SpringerPlus 5, 1-16, 2016 | 42 | 2016 |
| Технология крупноблочного параллелизма в SAT-задачах ОС Заикин, АА Семенов Проблемы управления, 43-50, 2008 | 40* | 2008 |
| Опыт организации добровольных вычислений на примере проектов OPTIMA@ home и SAT@ home ОС Заикин, МА Посыпкин, АА Семёнов, НП Храпов Вестник Нижегородского университета им. НИ Лобачевского, 340-347, 2012 | 36 | 2012 |
| 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 | 34 | 2020 |
| Speeding up CDCL inference with duplicate learnt clauses S Kochemazov, O Zaikin, A Semenov, V Kondratiev ECAI 2020, 339-346, 2020 | 32* | 2020 |
| Технология трансляции комбинаторных проблем в булевы уравнения ИВ Отпущенников, АА Семёнов Прикладная дискретная математика, 96-115, 2011 | 32 | 2011 |
| Решение задач криптоанализа поточных шифров в распределенных вычислительных средах МА Посыпкин, ОС Заикин, ДВ Беспалов, АА Семенов Труды Института системного анализа Российской академии наук 46, 119-137, 2009 | 32 | 2009 |
| Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem A Semenov, O Zaikin Parallel Computing Technologies: 13th International Conference, PaCT 2015 …, 2015 | 29 | 2015 |
| Technology for integrating idle computing cluster resources into volunteer computing projects IV Bychkov, MO Manzyuk, AA Semenov, OS Zaikin, AP Afanasiev, ... 2015 5th International Workshop on Computer Science and Engineering …, 2015 | 27 | 2015 |
| Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@ home ОС Заикин, АА Семёнов, МА Посыпкин Управление большими системами: сборник трудов, 138-156, 2013 | 26 | 2013 |
| Using synchronous boolean networks to model several phenomena of collective behavior S Kochemazov, A Semenov Plos one 9 (12), e115156, 2014 | 25 | 2014 |
| 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 |
| Evolutionary computation techniques for constructing SAT-based attacks in algebraic cryptanalysis A Pavlenko, A Semenov, V Ulyantsev Applications of Evolutionary Computation: 22nd International Conference …, 2019 | 19 | 2019 |
| Transalg: a tool for translating procedural descriptions of discrete functions to SAT I Otpuschennikov, A Semenov, S Kochemazov arXiv preprint arXiv:1405.1544, 2014 | 19 | 2014 |
| SAT-подход в криптоанализе некоторых систем поточного шифрования АА Семенов, ОС Заикин, ДВ Беспалов, АА Ушаков Вычислительные технологии 13 (6), 134-150, 2008 | 18* | 2008 |
| Декомпозиционные представления логических уравнений в задачах обращения дискретных функций АА Семенов Известия РАН. Теория и системы управления., 2009 | 17* | 2009 |
Kochemazov StepanISDCT SB RAS, ITMO University在 icc.ru 的电子邮件经过验证
