Efficient Computation of Boomerang Connection Probability for ARX-Based Block Ciphers with Application to SPECK and LEA. - Dongyeong Kim; Dawoon Kwon; Junghwan Song (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020)