Code and MILP model associated to the Eurocrypt paper "Truncated Boomerang and Applications to AES-based ciphers."
There are three tools available in the repositiory:
- Code for experimental verification of AES attacks on a small-scale variant of AES in the folder
small-AES
- A MILP tool to find boomerang attack parameters in the
MILP
folder - Code for experimental verification of the middle rounds of the Deoxys attacks proposed in the paper in the
Deoxys_verification
folder