International Association for Cryptologic Research

International Association
for Cryptologic Research

IACR News item: 10 November 2014

Martin Stanek
ePrint Report ePrint Report
We experiment with the block cipher proposed by Hoang, Morris, and Rogaway. The cipher is based on swap-or-not shuffle, and we call it the Shuffle Block Cipher. We show how the cipher can be translated into SMT-LIB v2 format, suitable for automated solving by SMT solvers. We compare performance of various SMT solvers on the encryption and known plaintext attack problems. Simple cryptanalysis of the Shuffle Block Cipher with artificially small parameters indicate that this approach cannot be used to attack \"real instances\" of the cipher.

Expand

Additional news items may be found on the IACR news page.