/efficient_milp_modelings

Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.

Primary LanguagePython

No issues in this repository yet.