Mingjiang Huang, Liming Wang. Automatic Tool for Searching for Differential Characteristics in ARX Ciphers and Applications. In Feng Hao, Sushmita Ruj, Sourav Sen Gupta, editors, Progress in Cryptology - INDOCRYPT 2019 - 20th International Conference on Cryptology in India, Hyderabad, India, December 15-18, 2019, Proceedings. Volume 11898 of Lecture Notes in Computer Science, pages 115-138, Springer, 2019. [doi]
Abstract is missing.