t-wise-ind-SPN

Code for the CRYPTO 2023 paper "Layout Graphs, Random Walks and the $t$-wise Independence of SPN Block Ciphers" by T. Liu, A. Pelecanos, S. Tessaro, V. Vaikuntanathan.

Contents

General files

• utils.py
  • Contains general functions.
• compute_matrices.py
  • Computes the transition matrices CF, FC, CC.
  • The transition matrices will be stored under the folder "files".
• test.py
  • Testing functions.

Results files

• table2.py
  • Computes the values of Table 2
• table3.py
  • Computes the values of Table 3
• theorem5.py
  • Numerical proof of Theorem 5
• theorem6.py
  • Numerical proof of Theorem 6