The invention discloses an impossible difference divider search method for an SKINNY128
algorithm, and the method combines difference set propagation with a
Boolean satisfiability problem (SAT) modeling technology, and integrates a miss-in-the-middle idea. The method comprises the following steps of: firstly, simulating propagation of a differential set in a SKINNY128
round function with a probability 1 from the
encryption direction and the decryption direction respectively, and recording all possible propagation
modes; then, constructing a bit-oriented SAT constraint model based on a propagation mode; then, constraints are established for possible contradiction points in the middle round; and finally, searching an effective impossible differential divider by solving the SAT model, and taking the condition that the model has a solution as a judgment condition. According to the method, the defects that in the prior art, contradictory points cannot be positioned, and indirect contradictions cannot be processed are overcome, and an impossible difference divider with a longer round number of an SKINNY128
algorithm can be automatically and more comprehensively searched.