OBDD-Based Cryptanalysis of Oblivious Keystream Generators.
Matthias KrausePublished in: Theory Comput. Syst. (2007)
Keyphrases
- cellular automata
- pseudorandom
- secret key
- random numbers
- image encryption algorithm
- s box
- boolean functions
- model checking
- model counting
- random number
- knowledge compilation
- ordered binary decision diagrams
- deterministic domains
- stream cipher
- hash functions
- smart card
- block cipher
- uniformly distributed
- scatter search
- search space
- efficient implementation
- heuristic search
- lightweight