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

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

Статистика просмотров:
Эта страница:3753
Страницы публикаций:15586
Полные тексты:4799
Списки литературы:1276
доцент
кандидат технических наук
E-mail: ,

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

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

Доклады и лекции в базе данных Math-Net.Ru
1. Using Backdoors to estimate the hardness of Boolean formulas w.r.t. SAT solving algorithms
А. А. Семенов, С. Е. Кочемазов
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
8 ноября 2022 г. 15:45   
2. Применение метаэвристических алгоритмов псевдобулевой оптимизации к поиску линеаризующих множеств в криптоанализе криптографических генераторов
К. В. Антонов, А. А. Семенов
Международная школа-семинар "Синтаксис и семантика логических систем"
12 августа 2019 г. 12:30

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