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