RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Семенов Александр Анатольевич

В базах данных Math-Net.Ru
Публикаций: 41
Научных статей: 41
Лекций и докладов: 1

Статистика просмотров:
Эта страница:1946
Страницы публикаций:11906
Полные тексты:2531
Списки литературы:757
кандидат технических наук
E-mail: ,

http://www.mathnet.ru/rus/person28549
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/825092

Публикации в базе данных Math-Net.Ru
2019
1. Е. Г. Белей, А. А. Семенов, “О способах пропозиционального кодирования различимости объектов в конечных множествах”, Известия Иркутского государственного университета. Серия Математика, 28 (2019),  3–20  mathnet  isi
2. А. А. Семёнов, К. В. Антонов, И. В. Отпущенников, “Поиск линеаризующих множеств в алгебраическом криптоанализе как задача псевдобулевой оптимизации”, ПДМ. Приложение, 2019, 12,  130–134  mathnet
3. И. А. Грибанова, А. А. Семёнов, “Об аргументации отсутствия свойств случайного оракула у некоторых криптографических хеш-функций”, ПДМ. Приложение, 2019, 12,  95–98  mathnet
4. В. С. Кондратьев, А. А. Семенов, О. С. Заикин, “Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций”, Выч. мет. программирование, 20:1 (2019),  54–66  mathnet
2018
5. Д. Е. Горбатенко, А. А. Семёнов, “Эффективный алгоритм построения множества кратчайших атак в рамках одной модели развития атак в компьютерной сети”, ПДМ. Приложение, 2018, 11,  90–95  mathnet
6. А. А. Семёнов, “Атаки из класса “угадывай и определяй” и автоматические способы их построения”, ПДМ. Приложение, 2018, 11,  81–86  mathnet
7. И. В. Отпущенников, А. А. Семёнов, О. С. Заикин, “Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры”, ПДМ. Приложение, 2018, 11,  76–79  mathnet
8. Д. Е. Горбатенко, А. А. Семёнов, “Противодействие сговору в дискретных динамических моделях компьютерных сетей”, УБС, 75 (2018),  76–102  mathnet
2017
9. 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  mathnet  elib
2016
10. А. А. Семенов, И. В. Отпущенников, “Об одном классе решающих диаграмм”, Автомат. и телемех., 2016, 4,  84–98  mathnet  elib; A. A. Semenov, I. V. Otpuschennikov, “On one class of decision diagrams”, Autom. Remote Control, 77:4 (2016), 617–628  isi  scopus
11. Д. Е. Горбатенко, С. Е. Кочемазов, А. А. Семёнов, “О дискретно-автоматных моделях атак в компьютерных сетях”, ПДМ. Приложение, 2016, 9,  80–83  mathnet
12. О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости”, ПДМ. Приложение, 2016, 9,  46–48  mathnet
2015
13. И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD”, ПДМ. Приложение, 2015, 8,  139–142  mathnet
14. И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, О. О. Хамисов, “Задачи поиска коллизий для криптографических хеш-функций семейства MD как варианты задачи о булевой выполнимости”, Выч. мет. программирование, 16:1 (2015),  61–77  mathnet
2014
15. А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений”, Дискретн. анализ и исслед. опер., 21:3 (2014),  25–40  mathnet; 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
16. О. С. Заикин, А. А. Семёнов, “Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости”, Выч. мет. программирование, 15:1 (2014),  22–35  mathnet
2013
17. А. А. Семенов, “Об эффективном представлении дизъюнктивных нормальных форм диаграммами специального вида”, ПДМ. Приложение, 2013, 6,  125–129  mathnet
18. В. Г. Булавинцев, А. А. Семенов, “О GPU-реализации ограниченной версии нехронологического алгоритма DPLL”, ПДМ. Приложение, 2013, 6,  111–112  mathnet
19. А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семенов, “Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами”, ПДМ. Приложение, 2013, 6,  75–76  mathnet
20. А. А. Семёнов, С. Е. Кочемазов, “О дискретно-автоматных моделях конформного поведения”, УБС, 46 (2013),  266–292  mathnet
21. О. С. Заикин, А. А. Семёнов, М. А. Посыпкин, “Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home”, УБС, 43 (2013),  138–156  mathnet
2012
22. А. А. Семенов, О. С. Заикин, “Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач”, Известия Иркутского государственного университета. Серия Математика, 5:4 (2012),  79–94  mathnet
23. А. А. Семенов, А. С. Игнатьев, “О сходимости гибридного SAT+ROBDD-логического вывода”, ПДМ. Приложение, 2012, 5,  118–120  mathnet
24. О. С. Заикин, М. А. Посыпкин, А. А. Семенов, “Применение добровольных вычислений к решению криптографических задач”, ПДМ. Приложение, 2012, 5,  107–108  mathnet
2011
25. И. В. Отпущенников, А. А. Семёнов, “Преобразования алгоритмов вычисления дискретных функций в булевы уравнения”, Известия Иркутского государственного университета. Серия Математика, 4:1 (2011),  83–96  mathnet
26. А. А. Семенов, И. В. Отпущенников, С. Е. Кочемазов, “Применение SAT-подхода в решении комбинаторных задач”, ПДМ, 2011, приложение № 4,  68–69  mathnet
27. И. В. Отпущенников, А. А. Семёнов, “Технология трансляции комбинаторных проблем в булевы уравнения”, ПДМ, 2011, 1(11),  96–115  mathnet
28. О. С. Заикин, И. В. Отпущенников, А. А. Семёнов, “Параллельные алгоритмы решения проблемы выполнимости в применении к оптимизационным задачам с булевыми ограничениями”, Выч. мет. программирование, 12:1 (2011),  205–212  mathnet
2010
29. Д. В. Беспалов, В. Г. Булавинцев, А. А. Семёнов, “Использование графических ускорителей в решении задач криптоанализа”, ПДМ, 2010, приложение № 3,  86–87  mathnet
30. И. В. Отпущенников, А. А. Семёнов, “Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам”, ПДМ, 2010, приложение № 3,  81–82  mathnet
31. А. С. Игнатьев, А. А. Семенов, “Алгоритмы работы с ROBDD как с базами булевых ограничений”, ПДМ, 2010, 1(7),  86–104  mathnet
2009
32. А. С. Игнатьев, А. А. Семенов, Д. В. Беспалов, О. С. Заикин, “Гибридный подход (SAT+ROBDD) в задачах криптоанализа поточных систем шифрования”, ПДМ, 2009, приложение № 1,  19–20  mathnet
33. А. А. Семенов, “О преобразованиях Цейтина в логических уравнениях”, ПДМ, 2009, приложение № 1,  12–13  mathnet
34. А. А. Семёнов, “О преобразованиях Цейтина в логических уравнениях”, ПДМ, 2009, 4(6),  28–50  mathnet
2008
35. А. А. Семенов, О. С. Заикин, Д. В. Беспалов, П. С. Буров, А. Е. Хмельнов, “Анализ некоторых криптографических примитивов на вычислительных кластерах”, ПДМ, 2008, 2(2),  120–130  mathnet
36. О. С. Заикин, A. A. Семенов, “Технология крупноблочного параллелизма в SAT-задачах”, Пробл. управл., 2008, 1,  43–50  mathnet
37. А. А. Семёнов, О. С. Заикин, “Неполные алгоритмы в крупноблочном параллелизме комбинаторных задач”, Выч. мет. программирование, 9:1 (2008),  108–118  mathnet
2004
38. А. А. Семенов, “О сложности обращения дискретных функций из одного класса”, Дискретн. анализ и исслед. опер., сер. 1, 11:4 (2004),  44–55  mathnet  mathscinet
1999
39. Б. В. Егоров, В. Н. Комаров, Ю. Е. Маркачев, А. П. Маркелов, Е. А. Плеханов, А. А. Семенов, В. Л. Юмашев, “Кластеризация продуктов горения в следе сверхзвукового самолета”, Матем. моделирование, 11:4 (1999),  70–82  mathnet
1988
40. С. А. Ложкин, А. А. Семенов, “Об одном методе сжатия информации и о сложности реализации монотонных симметрических функций”, Изв. вузов. Матем., 1988, 7,  44–52  mathnet  mathscinet  zmath; 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
1987
41. А. А. Семёнов, “Разложение Брюа корневых полупростых подгрупп в специальной линейной группе”, Зап. научн. сем. ЛОМИ, 160 (1987),  239–246  mathnet  mathscinet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Применение метаэвристических алгоритмов псевдобулевой оптимизации к поиску линеаризующих множеств в криптоанализе криптографических генераторов
К. В. Антонов, А. А. Семенов
Международная школа-семинар "Синтаксис и семантика логических систем"
12 августа 2019 г. 12:30

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020