SAT-based Method to Improve Neural Distinguisher and Applications to SIMON.

Zezhou Hou Jiongjiong Ren Shaozhen Chen

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

high accuracy
significant improvement
high precision
optimization algorithm
cost function
feature vectors
neural network
preprocessing
computational complexity
objective function
pairwise
support vector machine
decision trees
knowledge base
detection algorithm
synthetic data
genetic algorithm