Towards non-independence of modular additions in searching differential trails of ARX ciphers: new automatic methods with application to SPECK and Chaskey. - Haiwen Qin; Baofeng Wu (CoRR, 2022)