A Search for Nonlinear Balanced Boolean Functions by Leveraging Phenotypic Properties (2306.09190v1)
Abstract: In this paper, we consider the problem of finding perfectly balanced Boolean functions with high non-linearity values. Such functions have extensive applications in domains such as cryptography and error-correcting coding theory. We provide an approach for finding such functions by a local search method that exploits the structure of the underlying problem. Previous attempts in this vein typically focused on using the properties of the fitness landscape to guide the search. We opt for a different path in which we leverage the phenotype landscape (the mapping from genotypes to phenotypes) instead. In the context of the underlying problem, the phenotypes are represented by Walsh-Hadamard spectra of the candidate solutions (Boolean functions). We propose a novel selection criterion, under which the phenotypes are compared directly, and test whether its use increases the convergence speed (measured by the number of required spectra calculations) when compared to a competitive fitness function used in the literature. The results reveal promising convergence speed improvements for Boolean functions of sizes $N=6$ to $N=9$.
- Boolean functions for cryptography and error-correcting codes., 2010.
- Kenneth G Paterson. Dentist 2: 00on codes with low peak-to-average power ratio for multicode cdma. IEEE Transactions on Information Theory, 50(3):550–559, 2004.
- Boolean modeling in systems biology: an overview of methodology and applications. Physical biology, 9(5):055001, 2012.
- Distributed implementation of boolean functions by transcriptional synthetic circuits. ACS Synthetic Biology, 9(8):2172–2187, 2020.
- Evolutionary algorithms for boolean functions in diverse domains of cryptography. Evolutionary computation, 24(4):667–694, 2016.
- Maximal nonlinearity in balanced boolean functions with even number of inputs, revisited. In 2016 IEEE Congress on Evolutionary Computation (CEC), pages 3222–3229. IEEE, 2016.
- Generalized maiorana–mcfarland construction of resilient boolean functions with high nonlinearity and good algebraic properties. IEEE Transactions on Information Theory, 60(10):6681–6695, 2014.
- Unified matrix treatment of the fast walsh-hadamard transform. IEEE Transactions on Computers, 25(11):1142–1146, 1976.
- Digging deeper: Operator analysis for optimizing nonlinearity of boolean functions. arXiv preprint arXiv:2302.05890, 2023.
- Toward more efficient heuristic construction of boolean functions. Applied Soft Computing, 107:107327, 2021.
- The influence of local search over genetic algorithms with balanced representations. arXiv preprint arXiv:2206.10974, 2022.
- A survey of metaheuristic algorithms for the design of cryptographic boolean functions. arXiv preprint arXiv:2301.08012, 2023.
- An effective genetic algorithm for finding highly nonlinear boolean functions. In Information and Communications Security: First International Conference, ICIS’97 Beijing, China, November 11–14, 1997 Proceedings 1, pages 149–158. Springer, 1997.
- Heuristic design of cryptographically strong balanced boolean functions. In Advances in Cryptology—EUROCRYPT’98: International Conference on the Theory and Application of Cryptographic Techniques Espoo, Finland, May 31–June 4, 1998 Proceedings 17, pages 489–499. Springer, 1998.
- Heuristic search by particle swarm optimization of boolean functions for cryptographic applications. In Proceedings of the companion publication of the 2015 annual conference on genetic and evolutionary computation, pages 1425–1426, 2015.
- Two-stage optimisation in the design of boolean functions. In Information Security and Privacy: 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000. Proceedings 5, pages 242–254. Springer, 2000.
- Immunological algorithms paradigm for construction of boolean functions with good cryptographic properties. Engineering Applications of Artificial Intelligence, 62:320–330, 2017.
- Evolving cryptographically sound boolean functions. In Proceedings of the 15th Annual Conference Companion on Genetic and Evolutionary Computation, GECCO ’13 Companion, page 191–192, New York, NY, USA, 2013. Association for Computing Machinery.
- Evolutionary methods for the construction of cryptographic boolean functions. In Penousal Machado, Malcolm I. Heywood, James McDermott, Mauro Castelli, Pablo García-Sánchez, Paolo Burelli, Sebastian Risi, and Kevin Sim, editors, Genetic Programming, pages 192–204, Cham, 2015. Springer International Publishing.
- Evolving bent quaternary functions. In 2018 IEEE Congress on Evolutionary Computation, CEC 2018, Rio de Janeiro, Brazil, July 8-13, 2018, pages 1–8. IEEE, 2018.
- Almost boolean functions: the design of boolean functions by spectral inversion. In The 2003 Congress on Evolutionary Computation, 2003. CEC ’03., volume 3, pages 2173–2180 Vol.3, 2003.
- Evolutionary generation of bent functions for cryptography. In The 2003 Congress on Evolutionary Computation, 2003. CEC’03., volume 3, pages 1655–1661. IEEE, 2003.
- Tip the balance: Improving exploration of balanced crossover operators by adaptive bias. In Ninth International Symposium on Computing and Networking, CANDAR 2021 - Workshops, Matsue, Japan, 23-26 November 2021, pages 234–240. IEEE, 2021.
- Evolutionary approach for finding correlation immune boolean functions of order t with minimal hamming weight. In Adrian-Horia Dediu, Luis Magdalena, and Carlos Martín-Vide, editors, Theory and Practice of Natural Computing, pages 71–82, Cham, 2015. Springer International Publishing.
- Heuristic search by particle swarm optimization of boolean functions for cryptographic applications. In Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation, GECCO Companion ’15, page 1425–1426, New York, NY, USA, 2015. Association for Computing Machinery.
- Evolving balanced boolean functions with optimal resistance to algebraic and fast algebraic attacks, maximal algebraic degree, and very high nonlinearity. Cryptology ePrint Archive, Report 2013/011, 2013. https://eprint.iacr.org/2013/011.
- Evolving DPA-resistant boolean functions. In Thomas Bartz-Beielstein, Jürgen Branke, Bogdan Filipič, and Jim Smith, editors, Parallel Problem Solving from Nature – PPSN XIII, pages 812–821, Cham, 2014. Springer International Publishing.
- An evolutionary multiobjective approach to design highly non-linear boolean functions. In Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, GECCO ’07, page 749–756, New York, NY, USA, 2007. Association for Computing Machinery.
- Fighting the symmetries: The structure of cryptographic boolean function spaces. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, pages 457–464, 2015.
- Maximal nonlinearity in balanced boolean functions with even number of inputs, revisited. In 2016 IEEE Congress on Evolutionary Computation (CEC), pages 3222–3229, 2016.
- Climbing combinatorial fitness landscapes. Applied Soft Computing, 30:688–704, 2015.
- First-improvement vs. best-improvement local optima networks of nk landscapes. In Parallel Problem Solving from Nature, PPSN XI: 11th International Conference, Kraków, Poland, September 11-15, 2010, Proceedings, Part I 11, pages 104–113. Springer, 2010.
- Greedy or not? best improving versus first improving stochastic local search for maxsat. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 27, pages 940–946, 2013.
- On the efficiency of worst improvement for climbing nk-landscapes. In Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation, pages 413–420, 2014.
- Boolean function design using hill climbing methods. In Information Security and Privacy: 4th Australasian Conference, ACISP’99 Wollongong, NSW, Australia, April 7–9, 1999 Proceedings 4, pages 1–11. Springer, 1999.
- Hans Dobbertin. Construction of bent functions and balanced boolean functions with high nonlinearity. In Fast Software Encryption: Second International Workshop Leuven, Belgium, December 14–16, 1994 Proceedings, pages 61–74. Springer, 2005.
- Neutrality in evolutionary algorithms… what do we know? Evolving Systems, 2:145–163, 2011.
- Ismail Khalil Ali. Design strong boolean functions using memetic algorithm. Journal of Baghdad College of Economic sciences University, (21), 2009.
- Novelty search and the problem with objectives. Genetic programming theory and practice IX, pages 37–56, 2011.
- Quality diversity: A new frontier for evolutionary computation. Frontiers in Robotics and AI, page 40, 2016.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.