Automatic Search for Bit-Based Division Property
Published in Progress in Cryptology -- LATINCRYPT, 2021
Use Google Scholar for full citation
Recommended citation: Shibam Ghosh, Orr Dunkelman, "Automatic Search for Bit-Based Division Property." Progress in Cryptology -- LATINCRYPT, 2021.