О множествах невозможных разностей алгоритмов шифрования Фейстеля с небиективной функцией усложнения

Рассматривается семейство $l$-раундовых сбалансированных алгоритмов шифрования Фейстеля с небиективной функций усложнения. Для каждого из них доказано существование $l$-раундовых невозможных разностей для произвольного числа раундов $l$, а также получена нижняя оценка числа описанных невозможных разностей. Рассматриваемому семейству принадлежит алгоритм блочного шифрования GRANULE, для которого предложен новый подход поиска невозможных разностей. Показано, что он лучше других ранее известных способов. Получено как увеличение числа $l$ раундов, для которых находятся невозможные разности, так и их количества. Приведены аналитические оценки числа невозможных разностей, которые подтверждены экспериментально.