Sign in
A SAT-Based Algorithm for Finding Short Cycles in Shift Register Based Stream Ciphers.
Elena Dubrova
Maxim Teslenko
Published in:
IACR Cryptol. ePrint Arch. (2016)
Keyphrases
</>
learning algorithm
detection algorithm
objective function
search space
k means
np hard
dynamic programming
real time
computational complexity
simulated annealing
genetic algorithm
image processing
lower bound