Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Заикин Олег Сергеевич
старший научный сотрудник
кандидат технических наук
E-mail: ,

https://www.mathnet.ru/rus/person46524
Список публикаций на Google Scholar

Публикации в базе данных Math-Net.Ru Цитирования
2025
1. С. Е. Кочемазов, О. С. Заикин, “Исследование влияния Доббертиновских ограничений на поиск прообразов неполнораундовой функции сжатия MD4 при помощи SAT-подхода”, ПДМ. Приложение, 2025, № 18,  265–270  mathnet
2. О. С. Заикин, “Нахождение прообраза пяти раундов криптографической хеш-функции JH-256 при помощи параллельного SAT-решателя”, ПДМ. Приложение, 2025, № 18,  262–264  mathnet
2024
3. О. С. Заикин, “Нахождение прообраза 44-шаговой функции сжатия MD4 при ослабленном последнем шаге”, ПДМ. Приложение, 2024, № 17,  90–93  mathnet 1
4. О. С. Заикин, В. В. Давыдов, А. П. Кирьянова, “Применение алгоритмов решения проблемы булевой выполнимости для анализа финалистов конкурса SHA-3”, Выч. мет. программирование, 25:3 (2024),  259–273  mathnet 2
2023
5. Е. А. Маро, О. С. Заикин, “Алгебраический криптоанализ 9 раундов низкоресурсного блочного шифра Simon32/64”, ПДМ. Приложение, 2023, № 16,  65–70  mathnet 1
6. О. С. Заикин, “Обращение 29-шаговой функции сжатия MD5 при помощи алгоритмов решения проблемы булевой выполнимости”, ПДМ. Приложение, 2023, № 16,  36–40  mathnet 1
2019
7. В. С. Кондратьев, А. А. Семенов, О. С. Заикин, “Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций”, Выч. мет. программирование, 20:1 (2019),  54–66  mathnet
2018
8. И. В. Отпущенников, А. А. Семёнов, О. С. Заикин, “Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры”, ПДМ. Приложение, 2018, № 11,  76–79  mathnet  elib
2017
9. I. A. Gribanova, O. S. Zaikin, I. V. Otpushchennikov, A. A. Semenov, “Preimage attack on MD4 hash function as a problem of parallel sat-based cryptanalysis”, Вестн. ЮУрГУ. Сер. Выч. матем. информ., 6:3 (2017),  16–27  mathnet  elib 1
2016
10. О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости”, ПДМ. Приложение, 2016, № 9,  46–48  mathnet 1
11. О. С. Заикин, Э. И. Ватутин, А. Д. Журавлев, М. О. Манзюк, “Применение высокопроизводительных вычислений для поиска троек взаимно частично ортогональных диагональных латинских квадратов порядка 10”, Вестн. ЮУрГУ. Сер. Выч. матем. информ., 5:3 (2016),  54–89  mathnet  elib
2015
12. И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD”, ПДМ. Приложение, 2015, № 8,  139–142  mathnet 3
13. И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, О. О. Хамисов, “Задачи поиска коллизий для криптографических хеш-функций семейства MD как варианты задачи о булевой выполнимости”, Выч. мет. программирование, 16:1 (2015),  61–77  mathnet 2
14. О. С. Заикин, С. Е. Кочемазов, “Поиск пар ортогональных диагональных латинских квадратов порядка 10 в проекте добровольных распределенных вычислений SAT@home”, Вестн. ЮУрГУ. Сер. Выч. матем. информ., 4:3 (2015),  95–108  mathnet  elib
2014
15. М. О. Манзюк, О. С. Заикин, М. А. Посыпкин, “CluBORun: программный комплекс для использования свободных ресурсов вычислительных кластеров в BOINC-расчетах”, ИТиВС, 2014, № 4,  3–11  mathnet
16. О. С. Заикин, А. А. Семёнов, “Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости”, Выч. мет. программирование, 15:1 (2014),  22–35  mathnet 5
2013
17. О. С. Заикин, А. А. Семёнов, М. А. Посыпкин, “Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home”, УБС, 43 (2013),  138–156  mathnet 5
2012
18. А. А. Семенов, О. С. Заикин, “Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач”, Известия Иркутского государственного университета. Серия Математика, 5:4 (2012),  79–94  mathnet
19. О. С. Заикин, М. А. Посыпкин, А. А. Семенов, “Применение добровольных вычислений к решению криптографических задач”, ПДМ. Приложение, 2012, № 5,  107–108  mathnet
2011
20. О. С. Заикин, “Решение задач криптоанализа в грид-системах (на примере BOINC)”, ПДМ, 2011, № приложение к № 4,  66–67  mathnet
21. О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Параллельные алгоритмы решения проблемы выполнимости в применении к оптимизационным задачам с булевыми ограничениями”, Выч. мет. программирование, 12:1 (2011),  205–212  mathnet
2009
22. А. С. Игнатьев, А. А. Семенов, Д. В. Беспалов, О. С. Заикин, “Гибридный подход (SAT+ROBDD) в задачах криптоанализа поточных систем шифрования”, ПДМ, 2009, № приложение к № 1,  19–20  mathnet
2008
23. А. А. Семенов, О. С. Заикин, Д. В. Беспалов, П. С. Буров, А. Е. Хмельнов, “Анализ некоторых криптографических примитивов на вычислительных кластерах”, ПДМ, 2008, № 2(2),  120–130  mathnet
24. О. С. Заикин, A. A. Семенов, “Технология крупноблочного параллелизма в SAT-задачах”, Пробл. управл., 2008, № 1,  43–50  mathnet 14
25. А. А. Семёнов, О. С. Заикин, “Неполные алгоритмы в крупноблочном параллелизме комбинаторных задач”, Выч. мет. программирование, 9:1 (2008),  108–118  mathnet 3

Организации