Login / Signup
Accelerating the Search of Differential and Linear Characteristics with the SAT Method.
Ling Sun
Wei Wang
Meiqin Wang
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
high accuracy
preprocessing
search methods
search strategy
search algorithm
significant improvement
clustering method
objective function
cost function
dynamic programming
experimental evaluation
high precision
search strategies
probabilistic model
information retrieval systems