Evolutionary Construction of Perfectly Balanced Boolean Functions

Type: Article

Publication Date: 2022-07-18

Citations: 15

DOI: https://doi.org/10.1109/cec55065.2022.9870427

Abstract

Finding Boolean functions suitable for cryptographic primitives is a complex combinatorial optimization problem, since they must satisfy several properties to resist cryptanalytic attacks, and the space is very large, which grows super exponentially with the number of input variables. Recent research has focused on the study of Boolean functions that satisfy properties on restricted sets of inputs due to their importance in the development of the FLIP stream cipher. In this paper, we consider one such property, perfect balancedness, and investigate the use of Genetic Programming (GP) and Genetic Algorithms (GA) to construct Boolean functions that satisfy this property along with a good nonlinearity profile. We formulate the related optimization problem and define two encodings for the candidate solutions, namely the truth table and the weightwise balanced representations. Somewhat surprisingly, the results show that GA with the weightwise balanced representation outperforms GP with the classical truth table phenotype in finding highly nonlinear Weightwise Perfectly Balanced (WPB) functions. This is in stark contrast to previous findings on the evolution of balanced Boolean functions, where GP always performs best.

Locations

  • arXiv (Cornell University) - View - PDF
  • Radboud Repository (Radboud University) - View - PDF
  • 2022 IEEE Congress on Evolutionary Computation (CEC) - View

Similar Works

Action Title Year Authors
+ Evolutionary Construction of Perfectly Balanced Boolean Functions 2022 Luca Mariot
Stjepan Picek
Domagoj Jakobović
Marko Djurasevic
Alberto Leporati
+ Balanced Crossover Operators in Genetic Algorithms 2019 Luca Manzoni
Luca Mariot
Eva Tuba
+ Balanced Crossover Operators in Genetic Algorithms 2019 Luca Manzoni
Luca Mariot
Eva Tuba
+ PDF Chat A Search for Nonlinear Balanced Boolean Functions by Leveraging Phenotypic Properties 2023 Bruno Gašperov
Marko Đurasević
Domagoj Jakobović
+ Evolving Constructions for Balanced, Highly Nonlinear Boolean Functions 2022 Claude Carlet
Marko Djurasevic
Domagoj Jakobović
Luca Mariot
Stjepan Picek
+ PDF Chat Evolving constructions for balanced, highly nonlinear boolean functions 2022 Claude Carlet
Marko Djurasevic
Domagoj Jakobović
Luca Mariot
Stjepan Picek
+ PDF Chat Evolutionary Approach to S-box Generation: Optimizing Nonlinear Substitutions in Symmetric Ciphers 2024 Alexandr Kuznetsov
Nikolay Poluyanenko
Emanuele Frontoni
Marco Arnesano
Олексій Смірнов
+ PDF Chat A Systematic Evaluation of Evolving Highly Nonlinear Boolean Functions in Odd Sizes 2024 Claude Carlet
Marko Đurasević
Domagoj Jakobović
Stjepan Picek
Luca Mariot
+ Digging Deeper: Operator Analysis for Optimizing Nonlinearity of Boolean Functions 2023 Marko Djurasevic
Domagoj Jakobović
Luca Mariot
Stjepan Picek
+ PDF Chat A characterisation of S-box fitness landscapes in cryptography 2019 Domagoj Jakobović
Stjepan Picek
Marcella Scoczynski Ribeiro Martins
Markus Wagner
+ A characterisation of S-box fitness landscapes in cryptography 2019 Domagoj Jakobović
Stjepan Picek
Marcella Scoczynski Ribeiro Martins
Markus Wagner
+ A characterisation of S-box fitness landscapes in cryptography 2019 Domagoj Jakobović
Stjepan Picek
Marcella Scoczynski Ribeiro Martins
Markus Wagner
+ Using evolutionary computation to create vectorial Boolean functions with low differential uniformity and high nonlinearity 2013 James McLaughlin
John A. Clark
+ Look into the Mirror: Evolving Self-Dual Bent Boolean Functions 2023 Claude Carlet
Marko Đurasević
Domagoj Jakobović
Luca Mariot
Stjepan Picek
+ A New Angle: On Evolving Rotation Symmetric Boolean Functions 2023 Claude Carlet
Marko Đurasević
Bruno Gašperov
Domagoj Jakobović
Luca Mariot
Stjepan Picek
+ A Survey of Metaheuristic Algorithms for the Design of Cryptographic Boolean Functions 2023 Marko Djurasevic
Domagoj Jakobović
Luca Mariot
Stjepan Picek
+ Digging Deeper: Operator Analysis for Optimizing Nonlinearity of Boolean Functions 2023 Marko Đurasević
Domagoj Jakobović
Luca Mariot
Stjepan Picek
+ Weightwise Perfectly Balanced Functions and Nonlinearity 2023 Agnese Gini
Pierrick Méaux
+ A Discrete Particle Swarm Optimizer for the Design of Cryptographic Boolean Functions 2024 Luca Mariot
Alberto Leporati
Luca Manzoni
+ Weightwise perfectly balanced functions with high weightwise nonlinearity profile 2017 Jian Liu
Sihem Mesnager