-
This repository includes the supporting material of the paper entitled "MILP-aided bit-based division property for primitives with non-bit-permutation linear layers". Please find the paper at https://eprint.iacr.org/2016/811.pdf.
-
For more information, feedback or questions, please contact [email protected].
-
These algorithms are implemented by Sun Ling, Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan 250100, China.
-
The repository contains some implementations for the search of integral distinguishers.
-
'multitest.py' is implemented in Python with the help of Gurobi optimiser. Please find at http://www.gurobi.com/ for more information.