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

Ashutosh Dhar Dwivedi et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics