AlgSAT - A SAT Method for Verification of Differential Trails from an Algebraic Perspective.

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

Browse the full ACISP paper archive.