Probabilistic estimation of the algebraic degree of Boolean functions

被引:0
作者
Salagean, Ana [1 ]
Reyes-Paredes, Percy [1 ]
机构
[1] Loughborough Univ, Dept Comp Sci, Loughborough, England
来源
CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES | 2023年 / 15卷 / 06期
关键词
Algebraic degree; Moebius transform; Probabilistic testing; Algebraic thickness;
D O I
10.1007/s12095-023-00660-4
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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 dt(k)(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 dt(k)(f) of failing the test is not too small. We initiate the study of dt(k)(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 dt(k)(f) for all the polynomials in 8 variables were computed using the representatives listed by Hou and by Langevin and Leander.
引用
收藏
页码:1199 / 1215
页数:17
相关论文
共 13 条
[1]   Linearity testing in characteristic two [J].
Bellare, M ;
Coppersmith, D ;
Hastad, J ;
Kiwi, M ;
Sudan, M .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1996, 42 (06) :1781-1795
[2]  
Carlet C, 2002, FINITE FIELDS WITH APPLICATIONS TO CODING THEORY, CRYPTOGRAPHY AND RELATED AREAS, P53
[3]  
Dinur I, 2009, LECT NOTES COMPUT SC, V5479, P278, DOI 10.1007/978-3-642-01001-9_16
[4]  
Filiol E, 2002, LECT NOTES COMPUT SC, V2513, P342
[5]   GL(m,2) acting on R(r,m)/R(r-1,m) [J].
Hou, XD .
DISCRETE MATHEMATICS, 1996, 149 (1-3) :99-122
[6]  
LAI XJ, 1994, KLUW COMMUN, V276, P227
[7]  
Langevin P., 2007, BOOLEAN FUNCTIONS CR
[8]  
MacWilliams F. J., 1977, The theory of error-correcting codes. II
[9]  
Ming Duan, 2011, 2011 International Conference on Information Science and Technology (ICIST 2011), P291, DOI 10.1109/ICIST.2011.5765256
[10]  
ONeil S., 2007, 2007378 CRYPT EPRINT