Automatic search for differential characteristics in ARX ciphers. - Penglin Shao; Gaihong Zhang; Mengdong Li (ICNC, 2014)