• SKINNY contest: skinnysac19.gforge.inria.fr
  • ASASA cryptanalysis: here
  • Attack on the AES Whitebox proposal from Baek, Cheon and Hong: here
  • A tool to find MITM solvers for AES-like systems of equations: here
  • A tool to find MITM, Demirci-Selçuk and Impossible Differential attacks on block ciphers: here
  • A tool generating MILP models to search for Demirci-Selçuk attacks: github.com/siweisun/MITM
  • A tool to search for extended integral distinguishers on block ciphers: gitlab.inria.fr/pderbez/divlin
  • A set of tools to search for boomerang distinguishers on SKINNY: gitlab.inria.fr/pderbez/boomerangskinny
  • A set of tools to search for differential characteristics on SKINNY: CodesACNS.tar.gz
  • A collection of MILP models for division property: FastMILPDivision
  • A set of tools to search for truncated differential characteristics on AES: DiffAES
  • A Tool for Automatic Generation of Abstraction-based Differential Attacks: TAGADA