|
|
Публикации в базе данных Math-Net.Ru
-
Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит
ПДМ. Приложение, 2024, № 17, 57–63
-
Поиск линеаризующих множеств в алгебраическом криптоанализе как задача псевдобулевой оптимизации
ПДМ. Приложение, 2019, № 12, 130–134
-
Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры
ПДМ. Приложение, 2018, № 11, 76–79
-
Preimage attack on MD4 hash function as a problem of parallel sat-based cryptanalysis
Вестн. ЮУрГУ. Сер. Выч. матем. информ., 6:3 (2017), 16–27
-
Об одном классе решающих диаграмм
Автомат. и телемех., 2016, № 4, 84–98
-
Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости
ПДМ. Приложение, 2016, № 9, 46–48
-
Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD
ПДМ. Приложение, 2015, № 8, 139–142
-
Задачи поиска коллизий для криптографических хеш-функций семейства MD как варианты задачи о булевой выполнимости
Выч. мет. программирование, 16:1 (2015), 61–77
-
Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений
Дискретн. анализ и исслед. опер., 21:3 (2014), 25–40
-
Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами
ПДМ. Приложение, 2013, № 6, 75–76
-
Преобразования алгоритмов вычисления дискретных функций в булевы уравнения
Известия Иркутского государственного университета. Серия Математика, 4:1 (2011), 83–96
-
Применение SAT-подхода в решении комбинаторных задач
ПДМ, 2011, № приложение к № 4, 68–69
-
Технология трансляции комбинаторных проблем в булевы уравнения
ПДМ, 2011, № 1(11), 96–115
-
Параллельные алгоритмы решения проблемы выполнимости в применении
к оптимизационным задачам с булевыми ограничениями
Выч. мет. программирование, 12:1 (2011), 205–212
-
Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам
ПДМ, 2010, № приложение к № 3, 81–82
© , 2025