Symmetric-key, block cipher, Cryptanalysis, differential, impossible differential, integral, bit-based division property, Mixed Integer Linear Programming, MILP, SPARX, CRAFT, Bel-T, T-TWINE, Kuznyechik, Kalyna, PHOTON