Publication Details
Semantic Mutation Operator for Fast and Efficient Design of Bent Boolean Functions
Nonlinearity, Bent Boolean Functions, Heuristic Optimization, Genetic Programming, Semantic Mutation
Boolean functions are important cryptographic primitives with extensive use in symmetric cryptography. These functions need to possess various properties, such as nonlinearity to be useful. The main limiting factor of the quality of a Boolean function is the number of its input variables, which has to be sufficiently large. The contemporary design methods either scale poorly or are able to create only a small subset of all functions with the desired properties. This necessitates the development of new and more efficient ways of Boolean function design. In this paper, we propose a new semantic mutation operator for the design of bent Boolean functions via genetic programming. The principle of the proposed operator lies in evaluating the function's nonlinearity in detail to purposely avoid mutations that could be disruptive and taking advantage of the fact that the nonlinearity of a Boolean function is invariant under all affine transformations. To assess the efficiency of this operator, we experiment with three distinct variants of genetic programming and compare its performance to three other commonly used non-semantic mutation operators. The detailed experimental evaluation proved that the proposed semantic mutation operator is not only significantly more efficient in terms of evaluations required by genetic programming but also nearly three times faster than the second-best operator when designing bent functions with 12 inputs and almost six times faster for functions with 20 inputs.
@article{BUT186770,
author="Jakub {Husa} and Lukáš {Sekanina}",
title="Semantic Mutation Operator for Fast and Efficient Design of Bent Boolean Functions",
journal="Genetic Programming and Evolvable Machines",
year="2024",
volume="25",
number="3",
pages="1--32",
doi="10.1007/s10710-023-09476-w",
issn="1389-2576",
url="https://rdcu.be/ds8Zc"
}