“Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2”, ToSC, vol. 2024, no. 1, pp. 234–325, Mar. 2024, doi: 10.46586/tosc.v2024.i1.234-325.