Towards Finding Active Number of S-Boxes in Block Ciphers using Mixed Integer Linear Programming - Tiwari, Vikas; Jampala, Neelima; Naidu Tentu, Appala; Saxena, Ashutosh (Informatica (Ljubljana), 2021)