Lallemand, V.; Minier, M.; Rouquette, L. Automatic Search of Rectangle Attacks on Feistel Ciphers: Application to WARP. ToSC 2022, 2022, 113-140.