Login / Signup
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
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
experimental evaluation
detection method
preprocessing
dynamic programming
high accuracy
search strategy
cost function
clustering method
similarity measure
objective function
search algorithm
neural network
probabilistic model
classification method