Hadipour, H.; Gerhalter, S.; Sadeghi, S.; Eichlseder, M. Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2. ToSC 2024, 2024, 234-325.