SAT-Aided Differential Cryptanalysis of Lightweight Block Ciphers Midori, MANTIS and QARMA.

Yaxin Cui, Hong Xu, Lin Tan, Wenfeng Qi

Browse the full ICICS paper archive.