Tweeakable GOST2 differential route searching method based on MILP

Abstract

The invention discloses a method for automatically searching a differential path for a TweakableGOST2 algorithm. The invention provides two methods for adding Tweak, and provides a method for searching a differential path for the TweakableGOST2 algorithm. The method comprises the following steps: on a byte level, analyzing propagation characteristics between TweakableGOST2 algorithms, establishing specific models of components of the TweakableGOST2 algorithms by using an MILP model, solving, and if so, obtaining the specific number of minimum active S boxes of the TweakableGOST2 algorithms and the positions of the active S boxes; obtaining a differential distribution table and a differential mode P of a TweakableGOST2 algorithm according to an S box of the TweakableGOST2 algorithm, obtaining H-representation of a P convex hull of the TweakableGOST2 algorithm by using an SAGEMATH inequality generator so as to obtain an inequality group, and reducing the number of inequality by using a greedy method to obtain a final inequality group; in the bit level, carrying out modeling on a TweakableGOST2 algorithm by utilizing an MILP model, and obtaining a high-probability differential route by utilizing S box information obtained by solving. According to the method, the active S box of the TweakableGOST2 algorithm and the differential characteristics of the active S box can be quickly found out.

Description

technical field [0001] The invention belongs to the technical field of cryptanalysis, and relates to a Tweakable GOST2 differential route search method based on MILP. Aiming at the Tweakable GOST2 algorithm, the method can effectively and rapidly search for S-boxes and differential routes. Background technique [0002] In the Internet age, information as an important resource has been valued by various countries. In recent years, incidents of confidential data theft have occurred frequently at home and abroad, and the economic losses and social impacts caused by them have continued to intensify. Although there are several external defense measures to protect important data, how to minimize losses in the event of data theft requires cryptographic algorithms for protection. The security of the cryptographic algorithm is particularly important. The cryptographic algorithm can encrypt important data, even if it is lost, it can prevent the adversary from extracting important info...

Images