Stream Cipher Design based on Jumping Finite State Machines.

Cees J. A. Jansen

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

Keyphrases

finite state machines
design process
stream cipher
databases
low cost
lightweight
building blocks
model checking