Об интегральных различителях алгоритмов блочного шифрования, основанных на обобщениях схемы Фейстеля

Интегральный метод и его модификации широко применяются для анализа известных алгоритмов блочного шифрования, например KHAZAD, PRESENT, RECTANGLE, PRINCE, HIGHT. Основу метода составляет структура мультимножества текстов, сохраняемая функцией зашифрования на некотором числе раундов и применяемая для построения интегрального различителя. В работе рассматриваются интегральные различители некоторых обобщений схемы Фейстеля. Так, описан $3$-раундовый интегральный различитель алгоритма блочного шифрования PICARO. Для этого исследовано влияние небиективного $s$-бокса и расширяющей матрицы алгоритма PICARO на интегральные свойства мультимножества текстов в зависимости от числа раундов.