New characterizations for the multi-output correlation-immune Boolean functions

DOI10.1016/J.DISC.2020.112082zbMATH Open1460.94100arXiv1903.05351OpenAlexW3049622597MaRDI QIDQ2198404FDOQ2198404

Authors: Jinjin Chai, Sihem Mesnager, Zilong Wang 

Publication date: 10 September 2020

Published in: Discrete Mathematics (Search for Journal in Brave)

Abstract: Correlation-immune (CI) multi-output Boolean functions have the property of keeping the same output distribution when some input variables are fixed. Recently, a new application of CI functions has appeared in the system of resisting side-channel attacks (SCA). In this paper, three new methods are proposed to characterize the $t$ th-order CI multi-output Boolean functions ($n$-input and $m$-output). The first characterization is to regard the multi-output Boolean functions as the corresponding generalized Boolean functions. It is shown that a generalized Boolean functions $f_g$ is a $t$ th-order CI function if and only if the Walsh transform of $f_g$ defined here vanishes at all points with Hamming weights between $1$ and $t$. Compared to the previous Walsh transforms of component functions, our first method can reduce the computational complexity from $$ to $$. The last two methods are generalized from Fourier spectral characterizations. Especially, Fourier spectral characterizations are more efficient to characterize the symmetric multi-output CI Boolean functions.

Full work available at URL: https://arxiv.org/abs/1903.05351

Recommendations

• scientific article; zbMATH DE number 2080693
• A note on the spectral characterization of correlation immune Boolean functions
• scientific article; zbMATH DE number 1471071
• scientific article; zbMATH DE number 1107685
• scientific article

zbMATH Keywords

discrete Fourier transformWalsh transformcorrelation immunityside-channel attacksgeneralized Boolean functionmulti-output Boolean function

Mathematics Subject Classification ID

Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type (42A38) Boolean functions (94D10)

Cites Work

• Title not available (Why is that?)
• Vectorial Boolean functions for cryptography
• Title not available (Why is that?)
• Correlation-immunity of nonlinear combining functions for cryptographic applications (Corresp.)
• A spectral characterization of correlation-immune combining functions
• Title not available (Why is that?)
• Correlation-immune and resilient functions over a finite alphabet and their applications in cryptography
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quaternary Constant-Amplitude Codes for Multicode CDMA
• Three characterizations of non-binary correlation-immune and resilient functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Orthogonal Arrays, Resilient Functions, Error-Correcting Codes, and Linear Programming Bounds
• The Fourier spectral characterization for the correlation-immune functions over \(\mathbb{F}_p \)
• Boolean functions for cryptography and coding theory
• Hadamard matrices, \(d\)-linearly independent sets and correlation-immune Boolean functions with minimum Hamming weights
• A short proof of the Xiao-Massey lemma (correlation immune combining functions)
• Title not available (Why is that?)

Cited In (4)

• Results on the Gowers U2 Norm of Generalized Boolean Functions
• Correlation-immune Boolean functions for leakage squeezing and rotating S-box masking against side channel attacks
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: New characterizations for the multi-output correlation-immune Boolean functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2198404)