RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Семенов Александр Анатольевич

Публикации в базе данных Math-Net.Ru

  1. Алгебраические атаки на шифры семейства Simon на основе выбранного открытого текста

    ПДМ. Приложение, 2025, № 18,  252–258
  2. Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит

    ПДМ. Приложение, 2024, № 17,  57–63
  3. Оценки трудности доказательств и криптографических атак, основанных на лазейках

    ПДМ. Приложение, 2023, № 16,  87–95
  4. О скрытых упрощающих структурах в комбинаторных задачах и их вероятностных обобщениях

    ПДМ. Приложение, 2022, № 15,  100–104
  5. Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов

    ПДМ. Приложение, 2021, № 14,  104–110
  6. Применение инверсных лазеек для построения атак из класса «угадывай и определяй» на хеш-функции семейства MD4

    ПДМ. Приложение, 2020, № 13,  124–129
  7. Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров

    ПДМ. Приложение, 2020, № 13,  114–119
  8. О способах пропозиционального кодирования различимости объектов в конечных множествах

    Известия Иркутского государственного университета. Серия Математика, 28 (2019),  3–20
  9. Поиск линеаризующих множеств в алгебраическом криптоанализе как задача псевдобулевой оптимизации

    ПДМ. Приложение, 2019, № 12,  130–134
  10. Об аргументации отсутствия свойств случайного оракула у некоторых криптографических хеш-функций

    ПДМ. Приложение, 2019, № 12,  95–98
  11. Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций

    Выч. мет. программирование, 20:1 (2019),  54–66
  12. Эффективный алгоритм построения множества кратчайших атак в рамках одной модели развития атак в компьютерной сети

    ПДМ. Приложение, 2018, № 11,  90–95
  13. Атаки из класса “угадывай и определяй” и автоматические способы их построения

    ПДМ. Приложение, 2018, № 11,  81–86
  14. Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры

    ПДМ. Приложение, 2018, № 11,  76–79
  15. Противодействие сговору в дискретных динамических моделях компьютерных сетей

    УБС, 75 (2018),  76–102
  16. Preimage attack on MD4 hash function as a problem of parallel sat-based cryptanalysis

    Вестн. ЮУрГУ. Сер. Выч. матем. информ., 6:3 (2017),  16–27
  17. Об одном классе решающих диаграмм

    Автомат. и телемех., 2016, № 4,  84–98
  18. О дискретно-автоматных моделях атак в компьютерных сетях

    ПДМ. Приложение, 2016, № 9,  80–83
  19. Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости

    ПДМ. Приложение, 2016, № 9,  46–48
  20. Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD

    ПДМ. Приложение, 2015, № 8,  139–142
  21. Задачи поиска коллизий для криптографических хеш-функций семейства MD как варианты задачи о булевой выполнимости

    Выч. мет. программирование, 16:1 (2015),  61–77
  22. Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений

    Дискретн. анализ и исслед. опер., 21:3 (2014),  25–40
  23. Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости

    Выч. мет. программирование, 15:1 (2014),  22–35
  24. Об эффективном представлении дизъюнктивных нормальных форм диаграммами специального вида

    ПДМ. Приложение, 2013, № 6,  125–129
  25. О GPU-реализации ограниченной версии нехронологического алгоритма DPLL

    ПДМ. Приложение, 2013, № 6,  111–112
  26. Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами

    ПДМ. Приложение, 2013, № 6,  75–76
  27. О дискретно-автоматных моделях конформного поведения

    УБС, 46 (2013),  266–292
  28. Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home

    УБС, 43 (2013),  138–156
  29. Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач

    Известия Иркутского государственного университета. Серия Математика, 5:4 (2012),  79–94
  30. О сходимости гибридного SAT+ROBDD-логического вывода

    ПДМ. Приложение, 2012, № 5,  118–120
  31. Применение добровольных вычислений к решению криптографических задач

    ПДМ. Приложение, 2012, № 5,  107–108
  32. Преобразования алгоритмов вычисления дискретных функций в булевы уравнения

    Известия Иркутского государственного университета. Серия Математика, 4:1 (2011),  83–96
  33. Применение SAT-подхода в решении комбинаторных задач

    ПДМ, 2011, № приложение к № 4,  68–69
  34. Технология трансляции комбинаторных проблем в булевы уравнения

    ПДМ, 2011, № 1(11),  96–115
  35. Параллельные алгоритмы решения проблемы выполнимости в применении к оптимизационным задачам с булевыми ограничениями

    Выч. мет. программирование, 12:1 (2011),  205–212
  36. Использование графических ускорителей в решении задач криптоанализа

    ПДМ, 2010, № приложение к № 3,  86–87
  37. Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам

    ПДМ, 2010, № приложение к № 3,  81–82
  38. Алгоритмы работы с ROBDD как с базами булевых ограничений

    ПДМ, 2010, № 1(7),  86–104
  39. Гибридный подход (SAT+ROBDD) в задачах криптоанализа поточных систем шифрования

    ПДМ, 2009, № приложение к № 1,  19–20
  40. О преобразованиях Цейтина в логических уравнениях

    ПДМ, 2009, № приложение к № 1,  12–13
  41. О преобразованиях Цейтина в логических уравнениях

    ПДМ, 2009, № 4(6),  28–50
  42. Анализ некоторых криптографических примитивов на вычислительных кластерах

    ПДМ, 2008, № 2(2),  120–130
  43. Технология крупноблочного параллелизма в SAT-задачах

    Пробл. управл., 2008, № 1,  43–50
  44. Неполные алгоритмы в крупноблочном параллелизме комбинаторных задач

    Выч. мет. программирование, 9:1 (2008),  108–118
  45. О сложности обращения дискретных функций из одного класса

    Дискретн. анализ и исслед. опер., сер. 1, 11:4 (2004),  44–55
  46. Кластеризация продуктов горения в следе сверхзвукового самолета

    Матем. моделирование, 11:4 (1999),  70–82
  47. Об одном методе сжатия информации и о сложности реализации монотонных симметрических функций

    Изв. вузов. Матем., 1988, № 7,  44–52

© МИАН, 2026