Sage S-box MILP toolkit swMATH ID: 24163 Software Authors: Winnen, Laura Description: Sage S-box MILP toolkit: Extension of the Toolkit for Counting Active S-boxes using Mixed-Integer Linear Programming (MILP). This toolkit can be used to prove the security of cryptographic ciphers against linear and differential cryptanalysis. The toolkit generates a Mixed-Integer Linear Programming problem which counts the minimum number of (linearly or differentially) active S-boxes for a given cipher and solves this using a MILP solver in Sage. The toolkit includes the implementation in Sage for AES, small AES, Present, Led, mCrypton, Klein and Enocoro. Homepage: http://www.ecrypt.eu.org/tools/sage-s-box-milp-toolkit Dependencies: SAGE Related Software: SIMON; Gurobi; SageMath; ARXtools; CPLEX Cited in: 2 Documents all top 5 Cited by 6 Authors 2 Wang, Meiqin 1 Fu, Kai 1 Guo, Yinghua 1 Hu, Lei 1 Li, Yanbin 1 Sun, Siwei Cited in 1 Serial 1 Designs, Codes and Cryptography Cited in 1 Field 2 Information and communication theory, circuits (94-XX) Citations by Year