A New Tool to Find Lightweight (AND, XOR) Implementations of Quadratic Vectorial Boolean Functions up to Dimension 9. - Marie Bolzer; Sébastien Duval; Marine Minier (IACR Cryptol. ePrint Arch., 2025)