Abstract:
The property of local invertibility of Boolean functions is considered. A number of necessary conditions of local invertibility is proven; they can be used to construct functions that are not locally invertible. We prove a new criterion of local invertibility connecting this property with some properties of Boolean functions with barrier.
Keywords:perfectly balanced functions, barriers of Boolean functions, local invertibility, cryptography.