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

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

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

  1. Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

© МИАН, 2025