Experimenting with Shuffle Block Cipher and SMT Solvers.

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

Keyphrases

block cipher
modulo theories
s box
hash functions
lightweight
answer set programming
secret key
satisfiability modulo theories
statistical machine translation
application layer
sat solvers
feature selection
data analysis
knn
image quality