|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
К. В. Антонов, В. С. Кондратьев, С. Е. Кочемазов, А. А. Семёнов, “Алгебраические атаки на шифры семейства Simon на основе выбранного открытого текста”, ПДМ. Приложение, 2025, № 18, 252–258  |
|
2024 |
| 2. |
К. В. Антонов, А. А. Семёнов, И. В. Отпущенников, А. Л. Павленко, “Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит”, ПДМ. Приложение, 2024, № 17, 57–63 |
|
2023 |
| 3. |
А. А. Семёнов, “Оценки трудности доказательств и криптографических атак, основанных на лазейках”, ПДМ. Приложение, 2023, № 16, 87–95 |
1
|
|
2022 |
| 4. |
А. А. Семёнов, “О скрытых упрощающих структурах в комбинаторных задачах и их вероятностных обобщениях”, ПДМ. Приложение, 2022, № 15, 100–104 |
|
2021 |
| 5. |
А. А. Семёнов, К. В. Антонов, И. А. Грибанова, “Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов”, ПДМ. Приложение, 2021, № 14, 104–110 |
1
|
|
2020 |
| 6. |
И. А. Грибанова, А. А. Семёнов, “Применение инверсных лазеек для построения атак из класса «угадывай и определяй» на хеш-функции семейства MD4”, ПДМ. Приложение, 2020, № 13, 124–129 |
| 7. |
К. В. Антонов, А. А. Семёнов, “Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров”, ПДМ. Приложение, 2020, № 13, 114–119 |
1
|
|
2019 |
| 8. |
Е. Г. Белей, А. А. Семенов, “О способах пропозиционального кодирования различимости объектов в конечных множествах”, Известия Иркутского государственного университета. Серия Математика, 28 (2019), 3–20  |
| 9. |
А. А. Семёнов, К. В. Антонов, И. В. Отпущенников, “Поиск линеаризующих множеств в алгебраическом криптоанализе как задача псевдобулевой оптимизации”, ПДМ. Приложение, 2019, № 12, 130–134  |
2
|
| 10. |
И. А. Грибанова, А. А. Семёнов, “Об аргументации отсутствия свойств случайного оракула у некоторых криптографических хеш-функций”, ПДМ. Приложение, 2019, № 12, 95–98 |
2
|
| 11. |
В. С. Кондратьев, А. А. Семенов, О. С. Заикин, “Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций”, Выч. мет. программирование, 20:1 (2019), 54–66 |
|
2018 |
| 12. |
Д. Е. Горбатенко, А. А. Семёнов, “Эффективный алгоритм построения множества кратчайших атак в рамках одной модели развития атак в компьютерной сети”, ПДМ. Приложение, 2018, № 11, 90–95 |
| 13. |
А. А. Семёнов, “Атаки из класса “угадывай и определяй” и автоматические способы их построения”, ПДМ. Приложение, 2018, № 11, 81–86 |
| 14. |
И. В. Отпущенников, А. А. Семёнов, О. С. Заикин, “Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры”, ПДМ. Приложение, 2018, № 11, 76–79 |
| 15. |
Д. Е. Горбатенко, А. А. Семёнов, “Противодействие сговору в дискретных динамических моделях компьютерных сетей”, УБС, 75 (2018), 76–102 |
|
2017 |
| 16. |
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 |
| 17. |
А. А. Семенов, И. В. Отпущенников, “Об одном классе решающих диаграмм”, Автомат. и телемех., 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
|
| 18. |
Д. Е. Горбатенко, С. Е. Кочемазов, А. А. Семёнов, “О дискретно-автоматных моделях атак в компьютерных сетях”, ПДМ. Приложение, 2016, № 9, 80–83 |
1
|
| 19. |
О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости”, ПДМ. Приложение, 2016, № 9, 46–48 |
1
|
|
2015 |
| 20. |
И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD”, ПДМ. Приложение, 2015, № 8, 139–142 |
3
|
| 21. |
И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, О. О. Хамисов, “Задачи поиска коллизий для криптографических хеш-функций семейства MD как варианты задачи о булевой выполнимости”, Выч. мет. программирование, 16:1 (2015), 61–77 |
2
|
|
2014 |
| 22. |
А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений”, Дискретн. анализ и исслед. опер., 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 |
4
|
| 23. |
О. С. Заикин, А. А. Семёнов, “Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости”, Выч. мет. программирование, 15:1 (2014), 22–35 |
5
|
|
2013 |
| 24. |
А. А. Семенов, “Об эффективном представлении дизъюнктивных нормальных форм диаграммами специального вида”, ПДМ. Приложение, 2013, № 6, 125–129 |
| 25. |
В. Г. Булавинцев, А. А. Семенов, “О GPU-реализации ограниченной версии нехронологического алгоритма DPLL”, ПДМ. Приложение, 2013, № 6, 111–112 |
| 26. |
А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семенов, “Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами”, ПДМ. Приложение, 2013, № 6, 75–76 |
| 27. |
А. А. Семёнов, С. Е. Кочемазов, “О дискретно-автоматных моделях конформного поведения”, УБС, 46 (2013), 266–292 |
1
|
| 28. |
О. С. Заикин, А. А. Семёнов, М. А. Посыпкин, “Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home”, УБС, 43 (2013), 138–156 |
5
|
|
2012 |
| 29. |
А. А. Семенов, О. С. Заикин, “Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач”, Известия Иркутского государственного университета. Серия Математика, 5:4 (2012), 79–94 |
| 30. |
А. А. Семенов, А. С. Игнатьев, “О сходимости гибридного SAT+ROBDD-логического вывода”, ПДМ. Приложение, 2012, № 5, 118–120 |
| 31. |
О. С. Заикин, М. А. Посыпкин, А. А. Семенов, “Применение добровольных вычислений к решению криптографических задач”, ПДМ. Приложение, 2012, № 5, 107–108 |
|
2011 |
| 32. |
И. В. Отпущенников, А. А. Семёнов, “Преобразования алгоритмов вычисления дискретных функций в булевы уравнения”, Известия Иркутского государственного университета. Серия Математика, 4:1 (2011), 83–96 |
| 33. |
А. А. Семенов, И. В. Отпущенников, С. Е. Кочемазов, “Применение SAT-подхода в решении комбинаторных задач”, ПДМ, 2011, № приложение к № 4, 68–69 |
| 34. |
И. В. Отпущенников, А. А. Семёнов, “Технология трансляции комбинаторных проблем в булевы уравнения”, ПДМ, 2011, № 1(11), 96–115 |
17
|
| 35. |
О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Параллельные алгоритмы решения проблемы выполнимости в применении
к оптимизационным задачам с булевыми ограничениями”, Выч. мет. программирование, 12:1 (2011), 205–212 |
|
2010 |
| 36. |
Д. В. Беспалов, В. Г. Булавинцев, А. А. Семёнов, “Использование графических ускорителей в решении задач криптоанализа”, ПДМ, 2010, № приложение к № 3, 86–87 |
1
|
| 37. |
И. В. Отпущенников, А. А. Семёнов, “Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам”, ПДМ, 2010, № приложение к № 3, 81–82 |
| 38. |
А. С. Игнатьев, А. А. Семенов, “Алгоритмы работы с ROBDD как с базами булевых ограничений”, ПДМ, 2010, № 1(7), 86–104 |
1
|
|
2009 |
| 39. |
А. С. Игнатьев, А. А. Семенов, Д. В. Беспалов, О. С. Заикин, “Гибридный подход (SAT+ROBDD) в задачах криптоанализа поточных систем шифрования”, ПДМ, 2009, № приложение к № 1, 19–20 |
| 40. |
А. А. Семенов, “О преобразованиях Цейтина в логических уравнениях”, ПДМ, 2009, № приложение к № 1, 12–13 |
1
|
| 41. |
А. А. Семёнов, “О преобразованиях Цейтина в логических уравнениях”, ПДМ, 2009, № 4(6), 28–50 |
3
|
|
2008 |
| 42. |
А. А. Семенов, О. С. Заикин, Д. В. Беспалов, П. С. Буров, А. Е. Хмельнов, “Анализ некоторых криптографических примитивов на вычислительных кластерах”, ПДМ, 2008, № 2(2), 120–130 |
| 43. |
О. С. Заикин, A. A. Семенов, “Технология крупноблочного параллелизма в SAT-задачах”, Пробл. управл., 2008, № 1, 43–50 |
14
|
| 44. |
А. А. Семёнов, О. С. Заикин, “Неполные алгоритмы в крупноблочном параллелизме комбинаторных задач”, Выч. мет. программирование, 9:1 (2008), 108–118 |
3
|
|
2004 |
| 45. |
А. А. Семенов, “О сложности обращения дискретных функций
из одного класса”, Дискретн. анализ и исслед. опер., сер. 1, 11:4 (2004), 44–55  |
4
|
|
1999 |
| 46. |
Б. В. Егоров, В. Н. Комаров, Ю. Е. Маркачев, А. П. Маркелов, Е. А. Плеханов, А. А. Семенов, В. Л. Юмашев, “Кластеризация продуктов горения в следе сверхзвукового самолета”, Матем. моделирование, 11:4 (1999), 70–82 |
|
1988 |
| 47. |
С. А. Ложкин, А. А. Семенов, “Об одном методе сжатия информации и о сложности реализации монотонных симметрических функций”, Изв. вузов. Матем., 1988, № 7, 44–52  ; S. A. Lozhkin, A. A. Semenov, “On a method for compressing information and on the complexity of the realization of monotone symmetric functions”, Soviet Math. (Iz. VUZ), 32:7 (1988), 73–85 |
3
|
|
Обратная связь: