cipherMILPs

We are building a small framework to use in the analysis of the block structures of MILPs used in linear and differential cryptanalysis. Lars Huth's master's thesis which can be used as an introduction to the topic is found here.

What has been done and what we plan on doing:

• Modular implementation of ciphers

  • Differential cryptanalysis
    • AES
      • Implementation
      • Tests
    • LBlock
      • Implementation
      • Tests
    • Gift64
      • Implementation
      • Tests
  • Linear cryptanalysis
    • AES
      • Implementation
      • Tests
    • LBlock
      • Implementation
      • Tests
    • Gift64
      • Implementation
      • Tests

• Different approaches to the modeling

  • Model S-boxes using Convex Hull
    • Original modeling (Sun et al. 2013)
    • Extension to exclude all impossible transitions (Baksi 2020)
  • Logical condition modeling (Sun et al. 2013)
  • New MILP S-box modeling (Baksi 2020)
  • New MILP S-box modeling (Boura and Coggia 2020)
  • Extra constraints used in evaluation (Zhoui 2019)
  • Matrix-witchery (Boura and Coggia 2020)