Abstract:Motivated by recent works on the butterfly structure, particularly by its generalization introduced by Canteaut et al. (IEEE Trans Inf Theory 63(11):7575–7591, 2017), we first push further the study of permutation polynomials over binary finite fields by completely characterizing those permutations defined over the finite field (of order ) having the following shape: where , , m is odd, , and . We shall provide an approach to handle the bijectivity of for any . Notably, we show that the problem of finding conditions for bijectivity of the quadrinomial is closely related to the study of the famous equation (*). We then reduce the initial problem into the problem of finding conditions for which an equation of the form (*) has a unique solution in for every . In addition, as a crucial direct consequence our result, we prove the validity of the conjecture (Conjecture 19) proposed by Li et al. (Des Codes Cryptogr 89:737–761, 2021). We emphasize that our positive answer completely characterizes permutations with boomerang uniformity 4 from the butterfly structure, which leads to the view of the quadrinomial as excellent candidates to design block ciphers in symmetric cryptography. Despite a lot of attention regarding the considered conjecture, it remains unsolved on its whole when the coefficients lie in . However, this article is the first which propose an approach that solves the enter conjecture by handling both sides of it involving equivalence simultaneously. We believe that our novel approach and its strength could benefit from proving the bijectivity of other families of polynomials over finite fields.

The c-boomerang uniformity of two classes of permutation polynomials over finite fields

New Results about the Boomerang Uniformity of Permutation Polynomials

Some new results on permutation polynomials over finite fields

On the boomerang uniformity of (quadratic) permutations over $F_{2^n}$

On permutation quadrinomials with boomerang uniformity 4 and the best-known nonlinearity

On the Boomerang Uniformity of Permutations of Low Carlitz Rank

On the Boomerang Spectrum of Power Permutation $X^{2^{3n}+2^{2n}+2^{n}-1}$ over $\GF{2^{4n}}$ and Extraction of Optimal Uniformity Boomerang Functions

A connection between the boomerang uniformity and the extended differential in odd characteristic and applications

Investigations on $c$-Boomerang Uniformity and Perfect Nonlinearity

Differential uniformity properties of some classes of permutation polynomials

Boomerang Spectra of Two Classes of Power Functions via Their Differential Spectra

More New Classes Of Differentially 4-Uniform Permutations With Good Cryptographic Properties

The revised boomerang connectivity tables and their connection to the Difference Distribution Table

On the second-order zero differential properties of several classes of power functions over finite fields

A new class of S-boxes with optimal Feistel boomerang uniformity

On CCZ-equivalence Between the Bracken-Tan-Tan Function and Power Functions

On the second-order zero differential spectra of some power functions over finite fields

Four Classes of Bivariate Permutation Polynomials over Finite Fields of Even Characteristic

Cryptographic analysis and construction of complete permutations using a recursive approach

The Differential and Boomerang Properties of a Class of Binomials

Differential and boomerang spectrums of some power permutations