|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
К. В. Антонов, А. А. Семёнов, И. В. Отпущенников, А. Л. Павленко, “Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит”, ПДМ. Приложение, 2024, № 17, 57–63  |
|
2019 |
| 2. |
А. А. Семёнов, К. В. Антонов, И. В. Отпущенников, “Поиск линеаризующих множеств в алгебраическом криптоанализе как задача псевдобулевой оптимизации”, ПДМ. Приложение, 2019, № 12, 130–134  |
2
|
|
2018 |
| 3. |
И. В. Отпущенников, А. А. Семёнов, О. С. Заикин, “Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры”, ПДМ. Приложение, 2018, № 11, 76–79 |
|
2017 |
| 4. |
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 |
| 5. |
А. А. Семенов, И. В. Отпущенников, “Об одном классе решающих диаграмм”, Автомат. и телемех., 2016, № 4, 84–98 ; A. A. Semenov, I. V. Otpuschennikov, “On one class of decision diagrams”, Autom. Remote Control, 77:4 (2016), 617–628   |
3
|
| 6. |
О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости”, ПДМ. Приложение, 2016, № 9, 46–48 |
1
|
|
2015 |
| 7. |
И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD”, ПДМ. Приложение, 2015, № 8, 139–142 |
2
|
| 8. |
И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, О. О. Хамисов, “Задачи поиска коллизий для криптографических хеш-функций семейства MD как варианты задачи о булевой выполнимости”, Выч. мет. программирование, 16:1 (2015), 61–77 |
2
|
|
2014 |
| 9. |
А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений”, Дискретн. анализ и исслед. опер., 21:3 (2014), 25–40 ; A. A. Evdokimov, S. E. Kochemazov, I. V. Otpushennikov, A. A. Semenov, “Analysis of discrete automaton models of gene networks with irregular structure using symbolic algorithms”, J. Appl. Industr. Math., 8:3 (2014), 307–316 |
3
|
|
2013 |
| 10. |
А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семенов, “Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами”, ПДМ. Приложение, 2013, № 6, 75–76 |
|
2011 |
| 11. |
И. В. Отпущенников, А. А. Семёнов, “Преобразования алгоритмов вычисления дискретных функций в булевы уравнения”, Известия Иркутского государственного университета. Серия Математика, 4:1 (2011), 83–96 |
| 12. |
А. А. Семенов, И. В. Отпущенников, С. Е. Кочемазов, “Применение SAT-подхода в решении комбинаторных задач”, ПДМ, 2011, № приложение к № 4, 68–69 |
| 13. |
И. В. Отпущенников, А. А. Семёнов, “Технология трансляции комбинаторных проблем в булевы уравнения”, ПДМ, 2011, № 1(11), 96–115 |
16
|
| 14. |
О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Параллельные алгоритмы решения проблемы выполнимости в применении
к оптимизационным задачам с булевыми ограничениями”, Выч. мет. программирование, 12:1 (2011), 205–212 |
|
2010 |
| 15. |
И. В. Отпущенников, А. А. Семёнов, “Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам”, ПДМ, 2010, № приложение к № 3, 81–82 |
|
Обратная связь: