Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2. (2024). IACR Transactions on Symmetric Cryptology, 2024(1), 234-325. https://doi.org/10.46586/tosc.v2024.i1.234-325