https://github.com/hadipourh/zeroplus

Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2

ascon constraint-programming cryptanalysis cryptography forkskinny-block-cipher impossible-differential integral-cryptanalysis mantis milp present-block-cipher qarmav2 skinny-block-cipher symmetric-key-cryptography zero-correlation-cryptanalysis

Last synced: 25 Feb 2026