К. В. Антонов, А. А. Семёнов, “Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров”, ПДМ. Приложение, 2020, № 13, 114–119
Semenov A., Otpuschennikov I., Gribanova I., Zaikin O., Kochemazov S., “Translation of Algorithmic Descriptions of Discrete Functions to Sat With Applications to Cryptanalysis Problems”, Log. Meth. Comput. Sci., 16:1 (2020), 29
А. А. Семёнов, К. В. Антонов, И. В. Отпущенников, “Поиск линеаризующих множеств в алгебраическом криптоанализе как задача псевдобулевой оптимизации”, ПДМ. Приложение, 2019, № 12, 130–134
И. А. Грибанова, “Новый алгоритм порождения ослабляющих ограничений в задаче обращения хеш-функции MD4-39”, ПДМ. Приложение, 2018, № 11, 139–141
И. В. Отпущенников, А. А. Семёнов, О. С. Заикин, “Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры”, ПДМ. Приложение, 2018, № 11, 76–79
А. А. Семенов, И. В. Отпущенников, “Об одном классе решающих диаграмм”, Автомат. и телемех., 2016, № 4, 84–98; A. A. Semenov, I. V. Otpuschennikov, “On one class of decision diagrams”, Autom. Remote Control, 77:4 (2016), 617–628
И. А. Грибанова, “Применение алгоритмов решения проблемы булевой выполнимости к построению разностных путей в задачах поиска коллизий криптографических хеш-функций семейства MD”, ПДМ. Приложение, 2016, № 9, 129–132
О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости”, ПДМ. Приложение, 2016, № 9, 46–48
И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD”, ПДМ. Приложение, 2015, № 8, 139–142
А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений”, Дискретн. анализ и исслед. опер., 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
В. В. Быкова, “Об асимптотике решений рекуррентных соотношений специального вида и технике Кульмана–Люкхардта”, ПДМ, 2013, № 4(22), 56–66
А. А. Семёнов, С. Е. Кочемазов, “О дискретно-автоматных моделях конформного поведения”, УБС, 46 (2013), 266–292
О. С. Заикин, А. А. Семёнов, М. А. Посыпкин, “Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home”, УБС, 43 (2013), 138–156
Опарин Г.А., Богданова В.Г., “Инструментальные средства автоматизации параллельного решения булевых уравнений на многоядерных процессорах”, Программные продукты и системы, 2012, № 1, 38
А. А. Семенов, А. С. Игнатьев, “О сходимости гибридного SAT+ROBDD-логического вывода”, ПДМ. Приложение, 2012, № 5, 118–120
Заикин О.С., Посыпкин М.А., Семëнов А.А., Храпов Н.П., “Опыт организации добровольных вычислений на примере проектов optima@home и sat@home”, Вестник нижегородского университета им. Н.И. Лобачевского, 2012, 340–347
