Login / Signup
AlgSAT - A SAT Method for Verification of Differential Trails from an Algebraic Perspective.
Huina Li
Haochen Zhang
Kai Hu
Guozhen Liu
Weidong Qiu
Published in:
ACISP (1) (2024)
Keyphrases
</>
synthetic data
detection method
cost function
support vector machine svm
input data
verification method
error rate
data sets
computational cost
preprocessing
high accuracy
computationally efficient
experimental evaluation
optimization algorithm
clustering method
prior knowledge
face recognition
decision trees