├── README.md ├── impossible_differentials ├── aes.py ├── aes_equiv_sbox.pkl ├── arbitrary_sbox_8_8.pkl ├── identity_sbox_8.pkl ├── main_aes.py ├── main_skinny.py ├── primitive.py ├── skinny.py ├── skinny_sbox.pkl └── utilities.py └── sbox ├── arbitrary_sbox_gen.py ├── check_model.sage ├── convex_hull.sage ├── identity_sbox_gen.py ├── minimize.py └── utilities.py /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/README.md -------------------------------------------------------------------------------- /impossible_differentials/aes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/aes.py -------------------------------------------------------------------------------- /impossible_differentials/aes_equiv_sbox.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/aes_equiv_sbox.pkl -------------------------------------------------------------------------------- /impossible_differentials/arbitrary_sbox_8_8.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/arbitrary_sbox_8_8.pkl -------------------------------------------------------------------------------- /impossible_differentials/identity_sbox_8.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/identity_sbox_8.pkl -------------------------------------------------------------------------------- /impossible_differentials/main_aes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/main_aes.py -------------------------------------------------------------------------------- /impossible_differentials/main_skinny.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/main_skinny.py -------------------------------------------------------------------------------- /impossible_differentials/primitive.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/primitive.py -------------------------------------------------------------------------------- /impossible_differentials/skinny.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/skinny.py -------------------------------------------------------------------------------- /impossible_differentials/skinny_sbox.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/skinny_sbox.pkl -------------------------------------------------------------------------------- /impossible_differentials/utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/impossible_differentials/utilities.py -------------------------------------------------------------------------------- /sbox/arbitrary_sbox_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/sbox/arbitrary_sbox_gen.py -------------------------------------------------------------------------------- /sbox/check_model.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/sbox/check_model.sage -------------------------------------------------------------------------------- /sbox/convex_hull.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/sbox/convex_hull.sage -------------------------------------------------------------------------------- /sbox/identity_sbox_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/sbox/identity_sbox_gen.py -------------------------------------------------------------------------------- /sbox/minimize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/sbox/minimize.py -------------------------------------------------------------------------------- /sbox/utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnlcog/efficient_milp_modelings/HEAD/sbox/utilities.py --------------------------------------------------------------------------------