Отпущенников И. В. , Семёнов А. А. , Заикин О. С. «Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости» // Прикладная дискретная математика. Приложение 2016. №9 C.46-48
Антонов К. В. , Семёнов А. А. , Антонов К. В. , Семёнов А. А. «Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров» // Прикладная дискретная математика. Приложение 2020. №13 C.114-119
Вы можете добавить статью