MILP-Aided Bit-Based Division Property for Primitives with Non-Bit-Permutation Linear Layers.

Ling Sun Wei Wang Meiqin Wang

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

Keyphrases

shift register
integer arithmetic
data sets
linear program
low level
closed form
magnetic tape
bit parallel
real time
learning algorithm
multiscale
optimization problems
scale space
bit vector
bit vectors