Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
cryptography cryptanalysis milp constraint-programming ascon mantis symmetric-key-cryptography integral-cryptanalysis skinny-block-cipher impossible-differential zero-correlation-cryptanalysis qarmav2 present-block-cipher forkskinny-block-cipher
-
Updated
Jul 30, 2025 - MiniZinc