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

E-mail:

https://www.mathnet.ru/rus/person68780
Список публикаций на Google Scholar

Публикации в базе данных Math-Net.Ru Цитирования
2025
1. С. Е. Кочемазов, О. С. Заикин, “Исследование влияния Доббертиновских ограничений на поиск прообразов неполнораундовой функции сжатия MD4 при помощи SAT-подхода”, ПДМ. Приложение, 2025, № 18,  265–270  mathnet
2. К. В. Антонов, В. С. Кондратьев, С. Е. Кочемазов, А. А. Семёнов, “Алгебраические атаки на шифры семейства Simon на основе выбранного открытого текста”, ПДМ. Приложение, 2025, № 18,  252–258  mathnet
2016
3. Д. Е. Горбатенко, С. Е. Кочемазов, А. А. Семёнов, “О дискретно-автоматных моделях атак в компьютерных сетях”, ПДМ. Приложение, 2016, № 9,  80–83  mathnet 1
2015
4. И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD”, ПДМ. Приложение, 2015, № 8,  139–142  mathnet 3
5. И. А. Богачкова, О. С. Заикин, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, О. О. Хамисов, “Задачи поиска коллизий для криптографических хеш-функций семейства MD как варианты задачи о булевой выполнимости”, Выч. мет. программирование, 16:1 (2015),  61–77  mathnet 2
6. О. С. Заикин, С. Е. Кочемазов, “Поиск пар ортогональных диагональных латинских квадратов порядка 10 в проекте добровольных распределенных вычислений SAT@home”, Вестн. ЮУрГУ. Сер. Выч. матем. информ., 4:3 (2015),  95–108  mathnet  elib
2014
7. А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений”, Дискретн. анализ и исслед. опер., 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 4
2013
8. А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семенов, “Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами”, ПДМ. Приложение, 2013, № 6,  75–76  mathnet
9. А. А. Семёнов, С. Е. Кочемазов, “О дискретно-автоматных моделях конформного поведения”, УБС, 46 (2013),  266–292  mathnet 1
2011
10. А. А. Семенов, И. В. Отпущенников, С. Е. Кочемазов, “Применение SAT-подхода в решении комбинаторных задач”, ПДМ, 2011, № приложение к № 4,  68–69  mathnet

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

Организации