Маро Е. А. , Бабенко Л. К. «Применение алгоритмов решения проблемы булевой выполнимости формул для оценки стойкости блочных шифров семейства ГОСТ к алгебраическому криптоанализу» // Прикладная дискретная математика. Приложение 2017. №10 C.62-64
Софронова Д. А. , Калгин К. В. «Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе» // Прикладная дискретная математика. Приложение 2020. №13 C.135-136
Вы можете добавить статью