Shibam Ghosh, Orr Dunkelman. Automatic Search for Bit-Based Division Property. In Patrick Longa, Carla Rà fols, editors, Progress in Cryptology - LATINCRYPT 2021 - 7th International Conference on Cryptology and Information Security in Latin America, Bogotá, Colombia, October 6-8, 2021, Proceedings. Volume 12912 of Lecture Notes in Computer Science, pages 254-274, Springer, 2021. [doi]
Abstract is missing.