Accelerating the Search of Differential and Linear Characteristics with the SAT Method.
Ling SunWei WangMeiqin WangPublished in: IACR Trans. Symmetric Cryptol. (2021)
Keyphrases
- search strategy
- experimental evaluation
- detection method
- significant improvement
- search space
- search methods
- high accuracy
- decision trees
- similarity measure
- search algorithm
- search strategies
- web search
- high precision
- search procedure
- data sets
- classification method
- support vector machine svm
- computational cost
- cost function
- preprocessing
- multiscale