AlgSAT --- a SAT Method for Search and Verification of Differential Characteristics from Algebraic Perspective

ePrint Report: AlgSAT --- a SAT Method for Search and Verification of Differential Characteristics from Algebraic Perspective

Huina Li, Guozhen Liu, Haochen Zhang, Kai Hu, Jian Guo, Weidong Qiu

A good differential is a start for a successful differential attack. However, a differential might be invalid, i.e., there is no right pair following the differential1, due to some complicated contradictions that are hard to be considered. In this paper, we present a novel and handy method to search and verify …

eprint report sat search verification