Covering Sequences of Boolean Functions and Their Cryptographic Significance

  • Authors:
  • C. Carlet;Yu. Tarannikov

  • Affiliations:
  • INRIA projet CODES, Domaine de Voluceau, Rocquencourt, BP 105-78153, Le Chesnay Cedex, France/ and Université/ Paris 8, France claude.carlet@inria.fr;Mech. &/ Math. Department, Moscow State University, 119899 Moscow, Russia yutaran@mech.math.msu.su taran@vertex.inria.msu.ru

  • Venue:
  • Designs, Codes and Cryptography
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

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.