Seyyed Arash Azimi, Adrián Ranea, Mahmoud Salmasizadeh, Javad Mohajeri, Mohammad Reza Aref, Vincent Rijmen. A Bit-Vector Differential Model for the Modular Addition by a Constant. In Shiho Moriai, Huaxiong Wang, editors, Advances in Cryptology - ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7-11, 2020, Proceedings, Part I. Volume 12491 of Lecture Notes in Computer Science, pages 385-414, Springer, 2020. [doi]
Abstract is missing.