SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition. - Ashutosh Dhar Dwivedi; Milos Kloucek; Pawel Morawiecki; Ivica Nikolic; Josef Pieprzyk; Sebastian Wójtowicz (IACR Cryptol. ePrint Arch., 2016)

SAO WMT19 Test Suite: Machine Translation of Audit Reports. - Tereza Vojtechová; Michal Novák; Milos Kloucek; Ondrej Bojar (WMT (2), 2019)