New Results on Correlation Immunity

  • Authors:
  • Yuliang Zheng;Xian-Mo Zhang

  • Affiliations:
  • -;-

  • Venue:
  • ICISC '00 Proceedings of the Third International Conference on Information Security and Cryptology
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

The absolute indicator for GAC forecasts the overall avalanche characteristics of a cryptographic Boolean function. From a security point of view, it is desirable that the absolute indicator of a function takes as small a value as possible. The first contribution of this paper is to prove a tight lower bound on the absolute indicator of an mth-order correlation immune function with n variables, and to show that a function achieves the lower bound if and only if it is affine. The absolute indicator for GAC achieves the upper bound when the underlying function has a non-zero linear structure. Our second contribution is about a relationship between correlation immunity and non-zero linear structures. The third contribution of this paper is to address an open problem related to the upper bound on the nonlinearity of a correlation immune function. More specifically, we prove that given any odd mth-order correlation immune function f with n variables, the nonlinearity of f, denoted by Nf, must satisfy Nf 驴 2n-1 - 2m+1 for 1/2n - 1 驴 m n - 0.4 or f has a non-zero linear structure. This extends a known result that is stated for 0.6n - 0.4 驴 m 驴 n - 2.