Automatic Search for Bit-Based Division Property

Published in Progress in Cryptology – LATINCRYPT, 2021

Authors: Shibam Ghosh, Orr Dunkelman