Sage S-box MILP toolkit

swMATH ID: 24163
Software Authors: Laura Winnen
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

Citations by Year