Abstract
The nonlinearity of Boolean functions is well known and the behaviour of the nonlinearity of random Boolean functions has been studied, showing that they concentrate around one point. We show that it is the same for the autocorrelation of Boolean function. As an application, we show that the autocorrelation can distinguish a non random binary sequence from a random one.
Similar content being viewed by others
Data Availability
The results/data/figures in this manuscript have not been published elsewhere, nor are they under consideration by another publisher.
References
Alon, Noga, Spencer, Joel H.: The probabilistic method. Wiley & Sons, Hoboken, NJ, USA (2000)
Anne Canteaut, Claude Carlet, Pascale Charpin, et al., Propagation characteristics and correlation-immunity of highly nonlinear Boolean functions. Advances in Cryptology EUROCRYPT 2000, Springer, pp. 507-522 (2000)
Carlet, Claude, Boolean Models and Methods in Mathematics, In: Computer Science, and Engineering, Cambridge University Press, New York, NY, USA, pp 398-469, (2010)
Florian Caullery, Alexander Getmanenko, Vito Mandorino, et al. Semaine d’Etude Mathématiques et Entreprises 9 : Testing the reliability of a true random generator at run time, working paper or preprint, url: https://hal.archives-ouvertes.fr/hal-01021026 (Apr. 2014)
Florian Caullery, François Rodier, Distribution of the autocorrelation of random Boolean functions. In: Proceedings of The Tenth International Workshop on Coding and Cryptography, http://wcc2017.suai.ru/proceedings.html, (2017)
Cramer, Harald: Sur un nouveau théorème limite de la théorie des probabilités. In: Actualités Sci. Indust. 736, pp. 5–23 (1938)
Tang, Deng, Maitra, Subhamoy: Construction of \(n\)-variable (\(n \equiv 2 (\text{ mod } \; 4)\)) balanced Boolean functions with maximum absolute value in autocorrelation spectra \(< 2^{n/2}\). IEEE Trans. Inform. Theory 64(1), 393–402 (2018)
Stéphanie Dib, Distribution of Boolean Functions According to the Second-Order Nonlinearity. In: Arithmetic of Finite Fields: Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, pp. 86-96 (2010)
Stéphanie Dib, Asymptotic Nonlinearity of Vectorial Boolean Functions, In: Cryptography Commun, 6.2, pp. 103-115 (2014)
Simon Litsyn and Alexander Shpunt, On the Distribution of Boolean Function Nonlinearity. In: SIAM Journal on Discrete Mathematics 23.1, pp. 79-95 (2009)
Colin McDarmid, On the method of bounded differences. In: Surveys in Combinatorics, Ed. by J. Siemons. Vol. 141, London Mathematical Society Lectures Notes, Cambridge Univ. Press, Cambridge, pp. 148-188 (1989)
Idris David Mercer. Autocorrelations of random binary sequences. In: Combinatorics, Probability and Computing 15.05, pp. 663-671 (2006)
François Rodier, On the nonlinearity of Boolean functions. In: Proceedings of WCC2003, Workshop on coding and cryptography, pp. 397-405 (2003)
François Rodier, Asymptotic nonlinearity of Boolean functions. In: Des. Codes Cryptogr. 40.1, pp. 59-70 (2006)
Kai-Uwe Schmidt, The peak sidelobe level of random binary sequences. In: Bulletin of the London Mathematical Society, 46 (2014), no. 3, 643-652
Kai-Uwe Schmidt, Nonlinearity measures of random Boolean functions. In: Cryptography and Communications, pp. 1-9 (2015)
Yuriy Tarannikov, Peter Korolev, and Anton Botev, Advances in Cryptology, ASIACRYPT 2001 Proceedings, In: Chap. Autocorrelation Coefficients and Correlation Immunity of Boolean Functions, pp. 460-479 (2001)
Xian-Mo Zhang and Yuliang Zheng, Information Security and Cryptology, ICISC 2000 Proceedings. In: Chap. New Results on Correlation Immunity, pp. 49-63 (2001)
Y. Zhou, On the distribution of auto-correlation value of balanced Boolean functions. In: Advances in Mathematics of Communications 7.3, pp. 335-347 (2013)
Y. Zhou, M. Xie, and G. Xiao. On cross-correlation properties of Boolean functions. In: Communications and Networking in China, ChinaCOM 2009, Fourth International Conference on Communications and Networking in China, pp. 1-5 (2009)
Acknowledgements
We want to thank the reviewers for the comments and suggestions which greatly improved the text.
Funding
This work was partially done while Florian Caullery was funded by the Instituto Nacional de Matematica Pura e Aplicada (IMPA), Rio de Janeiro, RJ - Brazil and the foundation of Coordenaçao de Aperfeiçoamento de Pessoal de Nivel Superior (Capes) of the Brazilian ministry of education.
Author information
Authors and Affiliations
Contributions
François Rodier and Florian Caullery wrote the main manuscript and Eric Férard worked on section 3. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Ethical approval and consent to participate
Not applicable.
Consent for publication
All authors read and approved the final manuscript.
Competing interests
The authors have no competing interests as defined by Springer, or other interests that might be perceived to influence the results and/or discussion reported in this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Rodier, F., Caullery, F. & Férard, E. Distribution of the autocorrelation of random Boolean functions. Cryptogr. Commun. 15, 995–1009 (2023). https://doi.org/10.1007/s12095-023-00653-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12095-023-00653-3