@misc{cryptoeprint:2016:1053, author = {Ashutosh Dhar Dwivedi and Milo\v{s} Klou\v{c}ek and Pawel Morawiecki and Ivica Nikoli{\'c} and Josef Pieprzyk and Sebastian W{\'o}jtowicz }, title = {SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition}, howpublished = {Cryptology ePrint Archive, Report 2016/1053}, year = {2016}, url = {https://eprint.iacr.org/2016/1053}, }