Заикин Олег Сергеевич

Публикации в базе данных Math-Net.Ru

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