Tiwari, V.; Jampala, N.; Naidu Tentu, A.; Saxena, A. Towards Finding Active Number of S-Boxes in Block Ciphers Using Mixed Integer Linear Programming. IJCAI 2021, 45.