Correlation-immune functions with optimal algebraic immunity
Prikladnaya Diskretnaya Matematika. Supplement, no. 15 (2022), pp. 34-40.

Voir la notice de l'article provenant de la source Math-Net.Ru

Boolean functions are the main components of symmetric ciphers, and their properties ensure the cipher's resistance to various types of cryptanalysis. An important problem is to combine several cryptographic properties in one function, since the properties may contradict each other. Also, an interesting way to build Boolean functions is an iterative construction, i.e., constructing functions in a larger number of variables based on functions in a smaller number while preserving cryptographic properties. In this paper, we intersect sets of functions with maximal algebraic immunity and functions with the maximal order of correlation immunity equal to one, of a small number of variables. There are no correlation-immune Boolean functions in 3 variables with maximal algebraic immunity. There are 392 functions in 4 variables with the maximal order of correlation immunity 1 and maximal algebraic immunity, and for the case of 5 variables there are 96 768 such functions. For functions in 4 variables, a classification is obtained based on their Hamming weight and the type of their geometric representation. The construction of functions in 6 variables has been studied on the basis of functions in 4 variables, in which each vertex of the Boolean cube $\mathbb{E}^{4}$ is replaced by a face of dimension 2 containing elements of the support of the 6-variable function only if the original vertex belonged to the support. It has been programmatically verified that this construction preserves the indices of algebraic and correlation immunity.
Keywords: Boolean functions, algebraic immunity, correlation immunity, Boolean cube.
@article{PDMA_2022_15_a8,
     author = {I. S. Khilchuk and D. A. Zyubina and N. N. Tokareva},
     title = {Correlation-immune functions with optimal algebraic immunity},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {34--40},
     publisher = {mathdoc},
     number = {15},
     year = {2022},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2022_15_a8/}
}
TY  - JOUR
AU  - I. S. Khilchuk
AU  - D. A. Zyubina
AU  - N. N. Tokareva
TI  - Correlation-immune functions with optimal algebraic immunity
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2022
SP  - 34
EP  - 40
IS  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2022_15_a8/
LA  - ru
ID  - PDMA_2022_15_a8
ER  - 
%0 Journal Article
%A I. S. Khilchuk
%A D. A. Zyubina
%A N. N. Tokareva
%T Correlation-immune functions with optimal algebraic immunity
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2022
%P 34-40
%N 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2022_15_a8/
%G ru
%F PDMA_2022_15_a8
I. S. Khilchuk; D. A. Zyubina; N. N. Tokareva. Correlation-immune functions with optimal algebraic immunity. Prikladnaya Diskretnaya Matematika. Supplement, no. 15 (2022), pp. 34-40. http://geodesic.mathdoc.fr/item/PDMA_2022_15_a8/

[1] Tarannikov Yu. V., “O korrelyatsionno-immunnykh i ustoichivykh bulevykh funktsiyakh”, Matematicheskie voprosy kibernetiki, 11, Fizmatlit, M., 2002, 91–148 | MR

[2] Courtois N. and Meier W., “Algebraic attack on stream ciphers with linear feedback”, LNCS, 2656, 2003, 345–359 | MR | Zbl

[3] Mariot L., and Leporati A., “A genetic algorithm for evolving plateaued cryptographic Boolean functions”, LNCS, 9477, 2015, 33–45 | MR

[4] Sun L. and Fu F.-W., “Constructions of balanced odd-variable rotation symmetric Boolean functions with optimal algebraic immunity and high nonlinearity”, Theor. Comput. Sci., 738 (2018), 13–24 | DOI | MR | Zbl

[5] Carlet C., Boolean Functions for Cryptography and Coding Theory, Cambridge University Press, Cambridge, 2021

[6] Siegenthaler T., “Correlation-immunity of nonlinear combining functions for cryptographic applications”, IEEE Trans. Inform. Theory, 30:5 (1984), 776–780 | DOI | MR | Zbl