Mixed-integer Linear Programming in the Analysis of Trivium and Ktantan.

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

Keyphrases