Oleg Zaikin
Title
Cited by
Cited by
Year
Parallel logical cryptanalysis of the generator A5/1 in BNB-Grid system
A Semenov, O Zaikin, D Bespalov, M Posypkin
International Conference on Parallel Computing Technologies, 473-483, 2011
532011
Using BOINC desktop grid to solve large scale SAT problems
M Posypkin, A Semenov, O Zaikin
Computer Science 13 (1), 25, 2012
442012
Encoding cryptographic functions to SAT using Transalg system
I Otpuschennikov, A Semenov, I Gribanova, O Zaikin, S Kochemazov
Proceedings of the Twenty-second European Conference on Artificial …, 2016
422016
Технология крулооблочного параллеллзма в SAT-задачах
ОС Заикин, АА Семенов
Проблемы управления, 2008
41*2008
Experience in organizing volunteer computing: a case study of the OPTIMA@home and SAT@home projects
OS Zaikin, MA Posypkin, AA Semenov, NP Khrapov
Vestnik of Lobachevsky State University of Nizhni Novgorod, 340-347, 2012
40*2012
Решение задач криптоанализа поточных шифров в распределенных вычислительных средах
ААС М А Посыпкин, О С Заикин, Д В Беспалов
Труды Института системного анализа РАН 46, 119-137, 2009
34*2009
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), 554, 2016
302016
Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem
A Semenov, O Zaikin
International Conference on Parallel Computing Technologies, 222-230, 2015
272015
Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@ home
ОС Заикин, АА Семёнов, МА Посыпкин
Управление большими системами: сборник трудов, 2013
26*2013
Technology for integrating idle computing cluster resources into volunteer computing projects
AP Afanasiev, IV Bychkov, MO Manzyuk, MA Posypkin, AA Semenov, ...
Proc. of The 5th International Workshop on Computer Science and Engineering …, 2015
242015
On the Construction of Triples of Diagonal Latin Squares of Order 10.
O Zaikin, A Zhuravlev, S Kochemazov, E Vatutin
Electron. Notes Discret. Math. 54, 307-312, 2016
222016
On cryptographic attacks using backdoors for SAT
A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
212018
SAT-подход в криптоанализе некоторых систем поточного шифрования
АА Семенов, ОС Заикин, ДВ Беспалов, АА Ушаков
Вычислительные технологии 13 (6), 2008
20*2008
Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares
EI Vatutin, O Zaikin, A Zhuravlev, M Manzyuk, S Kochemazov, VS Titov
Selected Papers of the 7th International Conference Distributed Computing …, 2016
182016
Transalg: a tool for translating procedural descriptions of discrete functions to SAT
I Otpuschennikov, A Semenov, S Kochemazov
arXiv preprint arXiv:1405.1544, 2014
182014
Применение высокопроизводительных вычислений для поиска троек взаимно частично ортогональных диагональных латинских квадратов порядка 10
ОС Заикин, ЭИ Ватутин, АД Журавлев, МО Манзюк
Вестник Южно-Уральского государственного университета. Серия …, 2016
17*2016
Solving discrete functions inversion problems on multiprocessor computing systems
A Semenov, O Zaikin, D Bespalov, P Burov, A Hmelnov
Proceedings on Parallel computing and Control Problems (PACO’2008), Moscow …, 2008
17*2008
Concept of a multitask grid system with a flexible allocation of idle computational resources of supercomputers
AP Afanasiev, IV Bychkov, OS Zaikin, MO Manzyuk, MA Posypkin, ...
Journal of Computer and Systems Sciences International 56 (4), 701-707, 2017
16*2017
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
162016
Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости
ОС Заикин, АА Семёнов
Вычислительные методы и программирование 15 (1), 22-35, 2014
16*2014
The system can't perform the operation now. Try again later.
Articles 1–20