Skip to main content
SpringerLink
Log in

\(\mathcal {S}_0\)-equivalence classes, a new direction to find better weightwise perfectly balanced functions, and more

  • Research
  • Published:
Cryptography and Communications Aims and scope Submit manuscript

Abstract

This article introduces the concept of \(\mathcal {S}_0\)-equivalence class, i.e. , n-variable Boolean functions up to the addition of a symmetric function null in \(0_n\) and \(1_n\), and investigates its application to study weightwise perfectly balanced functions. On the one hand, we show that weightwise properties, such as being weightwise perfectly balanced, the weightwise nonlinearity and weightwise algebraic immunity, are invariants of these equivalence classes. On the other hand, we analyze the variation of global parameters inside the same class, and prove, for example, that there is always a function with high degree, algebraic immunity, or nonlinearity in the \(\mathcal {S}_0\)-equivalence class of a function. Finally, we discuss how these results can be extended to other equivalence relations and their applications in cryptography.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

References

  1. Braeken, A., Preneel, B.: On the algebraic immunity of symmetric boolean functions. In: Progress in Cryptology - INDOCRYPT 2005, 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings, pp 35–48 (2005)

  2. Carlet, C.: On the degree, nonlinearity, algebraic thickness, and nonnormality of boolean functions, with developments on symmetric functions. IEEE Trans. Inf. Theory, pp 2178–2185 (2004)

  3. Carlet, C.: Boolean Functions for Cryptography and Coding Theory. Cambridge University Press (2021)

  4. Carlet, C., Méaux, P.: A complete study of two classes of boolean functions: direct sums of monomials and threshold functions. IEEE Trans. Information Theory 68(5), 3404–3425 (2022)

    Article  MathSciNet  Google Scholar 

  5. Carlet, C., Méaux, P., Rotella, Y.: Boolean functions with restricted input and their robustness; application to the FLIP cipher. IACR Trans. Symmetric Cryptol. 2017(3) (2017)

  6. Canteaut, A., Videau, M.: Symmetric boolean functions. IEEE Trans. Information Theory pp 2791–2811 (2005)

  7. Fine, N.J.: Binomial coefficients modulo a prime. American Math. Monthly 54(10), 589–592 (1947)

    Article  MathSciNet  Google Scholar 

  8. Gini, A., Méaux, P.: On the weightwise nonlinearity of weightwise perfectly balanced functions. Discret. Appl. Math. 322, 320–341 (2022)

    Article  MathSciNet  Google Scholar 

  9. Gini, A., Méaux, P.: Weightwise almost perfectly balanced functions: Secondary constructions for all n and better weightwise nonlinearities. In Takanori Isobe and Santanu Sarkar, editors, Progress in Cryptology - INDOCRYPT, volume 13774 of Lecture Notes in Computer Science, pp 492–514. Springer (2022)

  10. Gini, A., Méaux, P.: On the algebraic immunity of weightwise perfectly balanced functions. In Abdelrahaman Aly and Mehdi Tibouchi, editors, Progress in Cryptology - LATINCRYPT 2023 - 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3-6, 2023, Proceedings, volume 14168 of Lecture Notes in Computer Science, pages 3–23. Springer (2023)

  11. Gini, A., Méaux, P.: Weightwise perfectly balanced functions and nonlinearity. In Said El Hajji, Sihem Mesnager, and El Mamoun Souidi, editors, Codes, Cryptology and Information Security, pages 338–359, Cham. Springer Nature Switzerland, (2023)

  12. Guo, X., Su, S.: Construction of weightwise almost perfectly balanced boolean functions on an arbitrary number of variables. Discrete Appl. Math. 307, 102–114 (2022)

    Article  MathSciNet  Google Scholar 

  13. Hoffmann, C., Méaux, P., Ricosset, T.: Transciphering, using filip and TFHE for an efficient delegation of computation. In Karthikeyan Bhargavan, Elisabeth Oswald, and Manoj Prabhakaran, editors, Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, volume 12578 of Lecture Notes in Computer Science, pages 39–61. Springer (2020)

  14. Liu, J., Mesnager, S.: Weightwise perfectly balanced functions with high weightwise nonlinearity profile. Des. Codes Cryptogr. 87(8), 1797–1813 (2019)

    Article  MathSciNet  Google Scholar 

  15. Li, J., Su, S.: Construction of weightwise perfectly balanced boolean functions with high weightwise nonlinearity. Discret. Appl. Math. 279, 218–227 (2020)

    Article  MathSciNet  Google Scholar 

  16. Méaux, P., Carlet, C., Journault, A., Standaert, F.-X.: Improved filter permutators for efficient FHE: better instances and implementations. In Feng Hao, Sushmita Ruj, and Sourav Sen Gupta, editors, Progress in Cryptology - INDOCRYPT, volume 11898 of LNCS, pages 68–91. Springer (2019)

  17. Méaux, P.: On the fast algebraic immunity of majority functions. In Peter Schwabe and Nicolas Thériault, editors, Progress in Cryptology - LATINCRYPT, volume 11774 of LNCS, pages 86–105. Springer (2019)

  18. Méaux, P.: On the fast algebraic immunity of threshold functions. Cryptography Commun. 13(5), 741–762 (2021)

    Article  MathSciNet  Google Scholar 

  19. Méaux, P., Journault, A., Standaert, F.-X., Carlet, C.: Towards stream ciphers for efficient FHE with low-noise ciphertexts. pages 311–343 (2016)

  20. Mandujano, S., Ku Cauich, J. C., Lara, A.: Studying special operators for the application of evolutionary algorithms in the seek of optimal boolean functions for cryptography. In Obdulia Pichardo Lagunas, Juan Martínez-Miranda, and Bella Martínez Seis, editors, Advances in Computational Intelligence, pages 383–396, Cham. Springer Nature Switzerland (2022)

  21. Mariot, L., Picek, S., Jakobovic, D., Djurasevic, M., Leporati, A.: Evolutionary construction of perfectly balanced boolean functions. In 2022 IEEE Congress on Evolutionary Computation (CEC), page 1–8. IEEE Press (2022)

  22. Mesnager, S., Su, S.: On constructions of weightwise perfectly balanced boolean functions. Cryptography Commun. (2021)

  23. Mesnager, S., Su, S., Li, J.: On concrete constructions of weightwise perfectly balanced functions with optimal algebraic immunity and high weightwise nonlinearity. Boolean Functions and Applications (2021)

  24. Mesnager, S., Su, S., Li, J., Zhu, L.: Concrete constructions of weightwise perfectly balanced (2-rotation symmetric) functions with optimal algebraic immunity and high weightwise nonlinearity. Cryptogr. Commun. 14(6), 1371–1389 (2022)

    Article  MathSciNet  Google Scholar 

  25. Mesnager, S., Tang, C.: Fast algebraic immunity of boolean functions and LCD codes. IEEE Trans. Inf. Theory 67(7), 4828–4837 (2021)

    Article  MathSciNet  Google Scholar 

  26. Qu, L., Feng, K., Liu, F., Wang, L.: Constructing symmetric boolean functions with maximum algebraic immunity. IEEE Trans. Inf. Theory 55, 2406–2412, 05 (2009)

  27. Sarkar, P., Maitra, S.: Balancedness and correlation immunity of symmetric boolean functions. Discrete Math. pages 2351 – 2358 (2007)

  28. The Sage Developers. SageMath, the Sage Mathematics Software System (Version 8.1), 2017. https://www.sagemath.org

  29. Tang, D., Liu, J.: A family of weightwise (almost) perfectly balanced boolean functions with optimal algebraic immunity. Cryptogr. Commun. 11(6), 1185–1197 (2019)

    Article  MathSciNet  Google Scholar 

  30. Varrette, S., Bouvry, P., Cartiaux, H., Georgatos, F.: Management of an academic HPC cluster: The UL experience. In 2014 International Conference on High Performance Computing & Simulation (HPCS), pages 959–967 (2014)

  31. Yan, L., Cui, J., Liu, J., Xu, G., Han, L., Jolfaei, A., Zheng, X.: Iga: An improved genetic algorithm to construct weightwise (almost) perfectly balanced boolean functions with high weightwise nonlinearity. In Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, ASIA CCS ’23, page 638–648, New York, NY, USA. Association for Computing Machinery (2023)

  32. Zhao, Q., Jia, Y., Zheng, D., Qin, B.: A new construction of weightwise perfectly balanced functions with high weightwise nonlinearity. Mathematics 11(5) (2023)

  33. Zhao, Q., Li, M., Chen, Z., Qin, B., Zheng, D.: A unified construction of weightwise perfectly balanced boolean functions. Cryptology ePrint Archive, Paper 2023/460, (2023). https://eprint.iacr.org/2023/460

  34. Zhu, L., Su, S.: A systematic method of constructing weightwise almost perfectly balanced boolean functions on an arbitrary number of variables. Discrete Appl. Math. 314, 181–190 (2022)

    Article  MathSciNet  Google Scholar 

  35. Zhang, R., Su, S.: A new construction of weightwise perfectly balanced boolean functions. Adv. Math. Commun. 17(4), 757–770 (2023)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The two authors were supported by the ERC Advanced Grant no. 787390.

Author information

Author notes

  1. Agnese Gini and Pierrick Méaux contributed equally to this work.

Authors and Affiliations

  1. University of Luxembourg, 2, Avenue de l’Universitè, Esch-sur-Alzette, 4365, Luxembourg

    Agnese Gini & Pierrick Méaux

Authors
  1. Agnese Gini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierrick Méaux
    View author publications

    You can also search for this author in PubMed Google Scholar

Contributions

The authors contributed equally to this work.

Corresponding author

Correspondence to Pierrick Méaux.

Ethics declarations

Competing interests

The authors declare no competing interests.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gini, A., Méaux, P. \(\mathcal {S}_0\)-equivalence classes, a new direction to find better weightwise perfectly balanced functions, and more. Cryptogr. Commun. (2024). https://doi.org/10.1007/s12095-024-00719-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s12095-024-00719-w

Keywords

Mathematics Subject Classification (2010)

Search

Navigation