Improved Top-Down Techniques in Differential Cryptanalysis. - Itai Dinur; Orr Dunkelman; Masha Gutman; Adi Shamir (IACR Cryptol. ePrint Arch., 2015)