New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks

Stéphanie Delaune, Patrick Derbez, Arthur Gontier, and Charles Prud'homme. New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. In Proceeding of the 23rd International Conference on Cryptology in India (INDOCRYPT'22), pp. 103–124, Lecture Notes in Computer Science 13774, Springer, Kolkata, India, 2022.

Download

[PDF] 

Abstract

The Feistel construction is one of the most studied ways of building block ciphers. Several generalizations were proposed in the literature, leading to the Generalized Feistel Network (GFN) construction, in which the round function operates on each pair of blocks in parallel until all branches are permuted. At FSE'10, Suzaki and Minematsu studied the diffusion of such construction, raising the question of how many rounds are required so that each block of the ciphertext depends on all blocks of the plaintext. Exhausting all possible permutations up to 16 blocks, they observed that there were always optimal permutations mapping even-number input blocks to odd-number output blocks and vice versa. Recently, both Cauchois et al. and Derbez et al. proposed new algorithms to build optimal even-odd permutations for up to 36 blocks.In this paper, we present a new algorithm based on iterative path building to search for optimal Feistel permutation. This algorithm is much faster in exhausting optimal non-even-odd permutations than all the previous approaches. Our first result is a computational proof that no non-even-odd permutation reaches a better diffusion round than optimal even-odd permutations up to 32 blocks. Furthermore, it is well known that permutations with an optimal diffusion round do not always lead to optimal permutations against differential cryptanalysis. We investigate several new criteria to build permutations leading to more secure GFN.

BibTeX

@inproceedings{DDGP-indocrypt22,
  abstract = {The Feistel construction is one of the most studied ways of building block ciphers. Several generalizations were proposed in the literature, leading to the Generalized Feistel Network (GFN) construction, in which the round function operates on each pair of blocks in parallel until all branches are permuted. At FSE'10, Suzaki and Minematsu studied the diffusion of such construction, raising the question of how many rounds are required so that each block of the ciphertext depends on all blocks of the plaintext. Exhausting all possible permutations up to 16 blocks, they observed that there were always optimal permutations mapping even-number input blocks to odd-number output blocks and vice versa. Recently, both Cauchois et al. and Derbez et al. proposed new algorithms to build optimal even-odd permutations for up to 36 blocks.
In this paper, we present a new algorithm based on iterative path building to search for optimal Feistel permutation. This algorithm is much faster in exhausting optimal non-even-odd permutations than all the previous approaches. Our first result is a computational proof that no non-even-odd permutation reaches a better diffusion round than optimal even-odd permutations up to 32 blocks. Furthermore, it is well known that permutations with an optimal diffusion round do not always lead to optimal permutations against differential cryptanalysis. We investigate several new criteria to build permutations leading to more secure GFN.
},
  author    = {St{\'{e}}phanie Delaune and
               Patrick Derbez and
               Arthur Gontier and
               Charles Prud'homme},
  editor    = {Takanori Isobe and
               Santanu Sarkar},
  title     = {New Algorithm for Exhausting Optimal Permutations for Generalized
               Feistel Networks},
  booktitle = {{P}roceeding of the 23rd {I}nternational {C}onference
               on {C}ryptology in {I}ndia ({INDOCRYPT}'22)},
 address =       {Kolkata, India},
  series    = {Lecture Notes in Computer Science},
  volume    = {13774},
  pages     = {103--124},
  publisher = {Springer},
  year      = {2022},
  acronym =       {{INDOCRYPT}'22},
  nmonth =        {12},
  lsv-category =  {intc},
  wwwpublic =     {public and ccsb},
}