Abstract
In this paper we study the minimum distance between the set of bent functions and the set of 1-resilient Boolean functions and present a lower bound on that. The bound is proved to be tight for functions up to 10 input variables. As a consequence, we present a strategy to modify the bent functions, by toggling some of its outputs, in getting a large class of 1-resilient functions with very good nonlinearity and autocorrelation. In particular, the technique is applied upto 12-variable functions and we show that the construction provides a large class of 1-resilient functions reaching currently best known nonlinearity and achieving very low autocorrelation values which were not known earlier. The technique is sound enough to theoretically solve some of the mysteries of 8-variable, 1-resilient functions with maximum possible nonlinearity. However, the situation becomes complicated from 10 variables and above, where we need to go for complicated combinatorial analysis with trial and error using computational facility.
Keywords
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Carlet, C.: On the coset weight divisibility and nonlinearity of resilient and correlation immune functions. In: Sequences and Their Applications - SETA 2001. Discrete Mathematics and Theoretical Computer Science, pp. 131–144. Springer, Heidelberg (2001)
Carlet, C.: A larger Class of Cryptographic Boolean Functions via a Study of the Maiorana-McFarland Constructions. In: Yung, M. (ed.) CRYPTO 2002. LNCS, vol. 2442, pp. 549–564. Springer, Heidelberg (2002)
Carlet, C., Sarkar, P.: Spectral domain analysis of correlation immune and resilient Boolean functions. Finite Fields and Its Applications 8(1), 120–130 (2002)
Charpin, P., Pasalic, E.: On Propagation Characteristics of Resilient Functions. In: Nyberg, K., Heys, H.M. (eds.) SAC 2002. LNCS, vol. 2595, pp. 175–195. Springer, Heidelberg (2003)
Clark, J., Jacob, J., Stepney, S., Maitra, S., Millan, W.: Evolving Boolean Functions Satisfying Multiple Criteria. In: Menezes, A., Sarkar, P. (eds.) INDOCRYPT 2002. LNCS, vol. 2551, pp. 246–259. Springer, Heidelberg (2002)
Dillon, J.F.: Elementary Hadamard Difference sets. PhD Thesis, University of Maryland (1974)
Dobbertin, H.: Construction of bent functions and balanced Boolean functions with high nonlinearity. In: Preneel, B. (ed.) FSE 1994. LNCS, vol. 1008, pp. 61–74. Springer, Heidelberg (1994)
Fedorova, M., Tarannikov, Y.V.: On the constructing of highly nonlinear resilient Boolean functions by means of special matrices. In: Pandu Rangan, C., Ding, C. (eds.) INDOCRYPT 2001. LNCS, vol. 2247, pp. 254–266. Springer, Heidelberg (2001)
Guo-Zhen, X., Massey, J.: A spectral characterization of correlation immune combining functions. IEEE Transactions on Information Theory 34(3), 569–571 (1988)
Maitra, S., Pasalic, E.: Further constructions of resilient Boolean functions with very high nonlinearity. IEEE Transactions on Information Theory 48(7), 1825–1834 (2002)
Maitra, S.: Autocorrelation Properties of correlation immune Boolean functions. In: Pandu Rangan, C., Ding, C. (eds.) INDOCRYPT 2001. LNCS, vol. 2247, pp. 242–253. Springer, Heidelberg (2001)
Maity, S., Johansson, T.: Construction of Cryptographically Important Boolean Functions. In: Menezes, A., Sarkar, P. (eds.) INDOCRYPT 2002. LNCS, vol. 2551, pp. 234–245. Springer, Heidelberg (2002)
Preneel, B., Van Leekwijck, W., Van Linden, L., Govaerts, R., Vandewalle, J.: Propagation characteristics of Boolean functions. In: Damgård, I.B. (ed.) EUROCRYPT 1990. LNCS, vol. 473, pp. 161–173. Springer, Heidelberg (1991)
Rothaus, O.S.: 1976. Journal of Combinatorial Theory, Series A 20, 300–305 (1976)
Sarkar, P., Maitra, S.: Construction of nonlinear Boolean functions with important cryptographic properties. In: Preneel, B. (ed.) EUROCRYPT 2000. LNCS, vol. 1807, pp. 485–506. Springer, Heidelberg (2000)
Sarkar, P., Maitra, S.: Nonlinearity bounds and constructions of resilient Boolean functions. In: Bellare, M. (ed.) CRYPTO 2000. LNCS, vol. 1880, pp. 515–532. Springer, Heidelberg (2000)
Seberry, J., Zhang, X.M., Zheng, Y.: Nonlinearly balanced Boolean functions and their propagation characteristics. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol. 773, pp. 49–60. Springer, Heidelberg (1994)
Tarannikov, Y.V.: On resilient Boolean functions with maximum possible nonlinearity. In: Roy, B., Okamoto, E. (eds.) INDOCRYPT 2000. LNCS, vol. 1977, pp. 19–30. Springer, Heidelberg (2000)
Tarannikov, Y.V.: New constructions of resilient Boolean functions with maximal nonlinearity. In: Matsui, M. (ed.) FSE 2001. LNCS, vol. 2355, pp. 70–81. Springer, Heidelberg (2001) (in preproceedings)
Tarannikov, Y.V., Korolev, P., Botev, A.: Autocorrelation coefficients and correlation immunity of Boolean functions. In: Boyd, C. (ed.) ASIACRYPT 2001. LNCS, vol. 2248, p. 460. Springer, Heidelberg (2001)
Zheng, Y., Zhang, X.M.: Improved upper bound on the nonlinearity of high order correlation immune functions. In: Stinson, D.R., Tavares, S. (eds.) SAC 2000. LNCS, vol. 2012, pp. 264–274. Springer, Heidelberg (2000)
Zhang, X.M., Zheng, Y.: GAC - the criterion for global avalanche characteristics of cryptographic functions. Journal of Universal Computer Science 1(5), 316–333 (1995)
Zheng, Y., Zhang, X.M.: On relationships among propagation degree, nonlinearityand correlation immunity. In: Okamoto, T. (ed.) ASIACRYPT 2000. LNCS, vol. 1976, p. 470. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maity, S., Maitra, S. (2004). Minimum Distance between Bent and 1-Resilient Boolean Functions. In: Roy, B., Meier, W. (eds) Fast Software Encryption. FSE 2004. Lecture Notes in Computer Science, vol 3017. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25937-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-25937-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22171-5
Online ISBN: 978-3-540-25937-4
eBook Packages: Springer Book Archive