@misc{cryptoeprint:2014:919,
    author = {Martin Stanek},
    title = {Experimenting with Shuffle Block Cipher and SMT Solvers},
    howpublished = {Cryptology ePrint Archive, Report 2014/919},
    year = {2014},
    url = {https://eprint.iacr.org/2014/919},
}