Ling Song, Zhangjie Huang, Qianqian Yang. Automatic Differential Analysis of ARX Block Ciphers with Application to SPECK and LEA. In Joseph K. Liu, Ron Steinfeld, editors, Information Security and Privacy - 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II. Volume 9723 of Lecture Notes in Computer Science, pages 379-394, Springer, 2016. [doi]