SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition.

Ashutosh Dhar Dwivedi, Milos Kloucek, Pawel Morawiecki, Ivica Nikolic, Josef Pieprzyk, Sebastian Wjtowicz

Browse the full SECRYPT paper archive.