Construction of new differentially δ-uniform families
Download
Author
Reyes-Carranza, Roberto Carlos
Advisor
Janwa, HeeralalType
DissertationDegree Level
Ph.D.Date
2020-06Metadata
Show full item recordAbstract
Our research work is on the construction of new differentially δ-uniform families of vectorial Boolean functions. Almost all of our families have explicit and compact univariate in a polynomial representation with very few terms whose coefficients are either in F2 or are in a quadratic or cubic extension of it. Therefore they can be efficiently implemented in cryptographic applications. In addition, we have sub-families with high nonlinearity better than most of the differentially δ-uniform families recently discovered. That implies that they offer very good resistance to differential cryptanalysis. Given a differentially δ-uniform vectorial Boolean function F, we give a generalization of a well known theorem of Edel and Pott (based on the APN-switching method of Dillon) for APN functions to differential δ-uniform version. We introduce a new switching method for delta-uniform functions, so that from a vectorial Boolean function F, and another univariate Boolean function f and a vector u, we obtain all the switching neighbors of the form F + u ∙ f (generalizing quadratic switching APN functions of Budaghyan, Carlet and Leander). Our method gives us necessary and sufficient conditions so that these vectorial Boolean functions are differentially δ-uniform. As applications we obtain explicit families of the form stated. We also discover a new theorem for a dependent variable version of Edel and Dillon on APN function, which provides a different criterion. We algorithmically apply these new theorems to discover new δ-uniform and new APN functions. Also, another new theorem, with (i, j)-parameter families of functions, generalizes theorems of Budaghyan and Carlet, when we select j = i. This way, we also obtain new cubic APN functions. Different parameters generalize other known results and others yield new families with strong nonlinearity and algebraic degrees. Our functions offer strong resistance to both first and second order Fourier transform analysis (better than well known families, e.g. the Gold families). The remarkable result that the function x3 + tr(x9) is an APN function discovered by Budaghyan, Carlet, and Leander has not yet been generalized since 2008. Bracken, Byrne, Markin, and McGuire computed the Walsh spectrum of such a quadratic function. We give a generalization of that result. We obtain new families of functions generalizing a result of Budaghyan, by replacing a variable v by a polynomial u(v). We give a variation of the idea of switching neighbor of Pott, and Pott-Budaghyan which yields further generalizations, leading to another new δ-uniform family of functions. We also give a second generalization of these results. Also, we formulate a narrow-sense switching technique along an axis. This technique helps us discover two elegant differentially δ-uniform families for each even δ. We include tables of the values of Walsh Spectrum and other cryptographic properties of the Gold family over finite fields up to degree 15. These include values that have not been computed by others. We thus show that there are cases where Gold families are weak with respect to some cryptographic protocols such as nonlinearity and algebraic multiplicity. Several authors have shown results on quadratic functions of the type tr(x2a+1)+tr(x2b+1) (Fitgerald, Lahtonen, McGuire and Ward). We open different directions, and give a lower bound for the nonlinearity of the family of functions f(x) = x2k+1+(x2k+x+1)tr(x2k+1)tr(x2j+1). We develop novel techniques to obtain such new families of functions. We apply our methods to study the Walsh spectrum and the nonlinearity profile of our families that are also applicable to families of functions that contain Boolean terms of the form tr(bx2k+1). We give new differentially 4-uniform permutations in even degree field extension. Thus, we make a significant contribution to an open problem of Bracken and Leander (only a few results in this direction are known).