Abstract
Balanced Boolean functions with high nonlinearity are considered as major cryptographic primitives in the design of symmetric key cryptosystems. Dobbertin, in early nineties, gave an explicit construction for balanced functions on (even) n variables, with nonlinearity \(2^{n-1}-2^{\frac{n}{2}} + nlb(\frac{n}{2})\), where nlb(t) is the maximum nonlinearity of a balanced Boolean functions in t variables and conjectured that \(nlb(n) \le 2^{n-1} - 2^{\frac{n}{2}} + nlb(\frac{n}{2})\). This bound still holds. In this paper we revisit the problem. First we present a detailed combinatorial analysis related to highly nonlinear balanced functions exploiting the inter-related properties like weight, nonlinearity, and Walsh–Hadamard spectrum. Our results provide a general framework to cover the works of Sarkar-Maitra (Crypto 2000), Maity-Johansson (Indocrypt 2002), and Maity-Maitra (FSE 2004) as special cases. In this regard, we revisit the well-known construction methods through modification of bent functions and provide supporting examples for 8, 10, 12, and 14 variables. We believe these results will advance the understanding related to highly nonlinear balanced Boolean functions on even numbers of variables as well as the Dobbertin’s conjecture.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Carlet, C., Guillot, P.: A characterization of binary bent functions. J. Comb. Theor. Ser. A 76, 328–335 (1996)
Carlet, C.: Boolean functions for cryptography and error correcting codes. In: Crama, Y., Hammer, P. (eds.) Boolean Methods and Models, pp. 257–397. Cambridge University Press, Cambridge (2010)
Cusick, T.W., Stănică, P.: Cryptographic Boolean Functions and Applications. Elsevier-Academic Press, Cambridge (2009)
Dillon J.F.: Elementary Hadamard Difference Sets, PhD Thesis, University of Maryland (1974)
Dillon J.F.: Elementary hadamard difference sets, In: proceedings of 6th S. E. Conference of Combinatorics, Graph Theory, and Computing, Utility Mathematics, Winnipeg, pp. 237–249 (1975)
Dobbertin H.: Construction of bent functions and balanced Boolean functions with high nonlinearity, Fast Software Encryption 1994 LNCS 1008, pp. 61–74 (1994)
Kavut, S., Maitra, S., Tang, D.: Construction and search of balanced Boolean functions on even number of variables towards excellent autocorrelation profile. Des. Codes Crypt. 87(2–3), 261–276 (2019)
Kavut, S., Maitra, S., Yucel, M.D.: Search for Boolean functions with excellent profiles in the rotation symmetric class. IEEE Trans. Inf. Theor. 53(5), 1743–1751 (2007)
Kavut, S., Yucel, M.D.: 9-variable Boolean functions with nonlinearity 242 in the generalized rotation symmetric class. Inf. Comput. 208(4), 341–350 (2010)
Kavut, S., Maitra, S.: Patterson-Wiedemann type functions on 21 variables with nonlinearity greater than bent concatenation bound. IEEE Trans. Inf. Theor. 62(4), 2277–2282 (2016)
MacWilliams, F.J., Sloane, N.J.A.: The Theory of Error-Correcting Codes, Amsterdam, North-Holland, The Netherlands (1977)
Maitra, S., Sarkar, P.: Maximum nonlinearity of symmetric Boolean functions on odd number of variables. IEEE Trans. Inf. Theor. 48(9), 2626–2630 (2002)
Maity, S., Johansson, T.: Construction of cryptographically important Boolean functions, INDOCRYPT 2002 LNCS 2551, pp. 234–245 (2002)
Maity, S., Maitra, S.: Minimum distance between bent and 1-resilient Boolean functions, FSE 2004 LNCS 3017, pp. 143–160 (2004)
McFarland, R.L.: A family of noncyclic difference sets. J. Comb. Theor. Ser. A 15, 1–10 (1973)
Mesnager, S., Mandal, B., Tang, C.: New characterizations and construction methods of bent and hyper-bent Boolean functions. Discrete Math. 343(11), 112081 (2020)
Mesnager, S.: Bent Functions. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-32595-8
Patterson, N.J., Wiedemann, D.H.: The covering radius of the (\(2^{15}\), 16) Reed-Muller code is at least 16276. IEEE Trans. Inf. Theor. 29(3), 354–356 (1983)
Rothaus, O.S.: On bent functions. J. Comb. Theor. Ser. A 20, 300–305 (1976)
Sarkar, P., Maitra, S.: Nonlinearity bounds and constructions of resilient Boolean functions, CRYPTO 2000 LNCS 1880, pp. 515–532 (2000)
Sun, Y., Zhang, J., Gangopadhyay, S.: Construction of resilient Boolean functions in odd variables with strictly almost optimal nonlinearity. Des. Codes Crypt. 87(12), 3045–3062 (2019). https://doi.org/10.1007/s10623-019-00662-5
Tang, D., Maitra, S.: Constructions of \(n\)-variable (\(n\equiv 2\,\text{ mod }\,4\)) balanced Boolean functions with maximum absolute value in autocorrelation spectra \(<2^{\frac{n}{2}}\). IEEE Trans. Inf. Theor. 64(1), 393–402 (2018)
Tang, D., Kavut, S., Mandal, B., Maitra, S.: Modifying Maiorana-McFarland type bent functions for good cryptographic properties and efficient implementation. SIAM J. Discrete Math. 33(1), 238–256 (2019)
Acknowledgments
We would like to thank the anonymous reviewers of Indocrypt 2022 for their valuable suggestions and comments, which considerably improved the quality of our paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Maitra, S., Mandal, B., Roy, M. (2022). Modifying Bent Functions to Obtain the Balanced Ones with High Nonlinearity. In: Isobe, T., Sarkar, S. (eds) Progress in Cryptology – INDOCRYPT 2022. INDOCRYPT 2022. Lecture Notes in Computer Science, vol 13774. Springer, Cham. https://doi.org/10.1007/978-3-031-22912-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-031-22912-1_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-22911-4
Online ISBN: 978-3-031-22912-1
eBook Packages: Computer ScienceComputer Science (R0)