Probabilistic estimation of the algebraic degree of Boolean functions
The algebraic degree is an important parameter of Boolean functions used in cryptography. When a function in a large number of variables is not given explicitly in algebraic normal form, it is usually not feasible to compute its degree, so we need to estimate it. We propose a probabilistic test for deciding whether the algebraic degree of a Boolean function f is below a certain value k. If the degree is indeed below k, then f will always pass the test, otherwise f will fail each instance of the test with a probability dtk(f), which is closely related to the average number of monomials of degree k of the polynomials which are affine equivalent to f. The test has a good accuracy only if this probability dtk(f) of failing the test is not too small. We initiate the study of dtk(f) by showing that in the particular case when the degree of f is actually equal to k, the probability will be in the interval (0.288788, 0.5], and therefore a small number of runs of the test will be sufficient to give, with very high probability, the correct answer. Exact values of dtk(f) for all the polynomials in 8 variables were computed using the representatives listed by Hou and by Langevin and Leander.
History
School
- Science
Department
- Computer Science
Published in
Cryptography and CommunicationsVolume
15Issue
6Pages
1199 - 1215Publisher
SpringerVersion
- VoR (Version of Record)
Rights holder
© The Author(s)Publisher statement
This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.Acceptance date
2023-06-21Publication date
2023-08-12Copyright date
2023ISSN
1936-2447eISSN
1936-2455Publisher version
Language
- en