mhgharieb/MILP_DivisionProprerty_LinearLayer

Code for the paper "On MILP-based Automatic Search for Bit-Based Division Property for Ciphers with (large) Linear Layers", ACISP 2021

Python