Covering Sequences of Boolean Functions and Their Cryptographic Significance |
| |
Authors: | C Carlet Yu Tarannikov |
| |
Institution: | (1) INRIA projet CODES, Domaine de Voluceau, Rocquencourt, BP 105-78153, Le Chesnay Cedex, France;;(2) Université, Paris 8, France;(3) Mech. & Math. Department, Moscow State University, 119899 Moscow, Russia |
| |
Abstract: | We introduce the notion of covering sequence of a Boolean function, related to the derivatives of the function. We give complete characterizations of balancedness, correlation immunity and resiliency of Boolean functions by means of their covering sequences. By considering particular covering sequences, we define subclasses of (correlation-immune) resilient functions. We derive upper bounds on their algebraic degrees and on their nonlinearities. We give constructions of resilient functions belonging to these classes. We show that they achieve the best known trade-off between order of resiliency, nonlinearity and algebraic degree. |
| |
Keywords: | Boolean functions resilient functions nonlinearity algebraic degree stream ciphers |
本文献已被 SpringerLink 等数据库收录! |
|