О методе доказательства стойкости блочных шифров к атаке невыполнимых дифференциалов

Abstract

Анализируются существующие методы поиска невыполнимых дифференциалов. Предлагается метод, который позволяет обосновать отсутствие невыполнимых дифференциалов. Сложность метода, в отличие от известных, в меньшей степени зависит от размера блока. Метод применяется к Rijndael-подобным SPN шифрам и фейстель-подобным шифрам.