A Resilient Functions For Stream Cipher Applications: Modified Tarrannikov’s Construction And Analysis Of Their Algebraic Immunity

Boolean functions with good cryptographic properties (high algebraic degree, balancedness, high order of correlation immunity and high nonlinearity) have an important significance in stream cipher (combiner model or filter model) since these functions allow to construct stream cipher resistant to various attacks. In this work the modified Tarannikov’s construction method is considered. This construction permits to obtain functions achieving all necessary criteria for being used in the pseudorandom generators in stream ciphers. Thus, this allows constructing recursively the resilient function achieving Siegenthaler’s bound and Sarkar, et al.’s bound using a resilient function in a smaller number of variables. Finally, we used the modified Tarannikov’s construction for designing keystream generators for digital images encryption.

[1]  Deepak Kumar Dalai.  On Some Necessary Conditions of Boolean Functions to Resist Algebraic Attacks , 2006 .

[2]  Anne Canteaut,et al.  Improved Fast Correlation Attacks Using Parity-Check Equations of Weight 4 and 5 , 2000, EUROCRYPT.

[3]  Frederik Armknecht,et al.  Improving Fast Algebraic Attacks , 2004, FSE.

[4]  Thomas Siegenthaler,et al.  Decrypting a Class of Stream Ciphers Using Ciphertext Only , 1985, IEEE Transactions on Computers.

[5]  Anne Canteaut.  Linear Cryptanalysis for Stream Ciphers , 2005, Encyclopedia of Cryptography and Security.

[6]  Yuriy Tarannikov,et al.  On Resilient Boolean Functions with Maximal Possible Nonlinearity , 2000, INDOCRYPT.

[7]  Thomas Siegenthaler,et al.  Correlation-immunity of nonlinear combining functions for cryptographic applications , 1984, IEEE Trans. Inf. Theory.

[8]  Elwyn R. Berlekamp,et al.  Algebraic coding theory , 1984, McGraw-Hill series in systems science.

[9]  Yuliang Zheng,et al.  Improved Upper Bound on the Nonlinearity of High Order Correlation Immune Functions , 2000, Selected Areas in Cryptography.

[10]  Palash Sarkar,et al.  Nonlinearity Bounds and Constructions of Resilient Boolean Functions , 2000, CRYPTO.

[11]  Réjane Forré,et al.  A Fats Correlation Attack on Nonlinearly Feedforward Filtered Shift-Register Sequences , 1990, EUROCRYPT.

[12]  Jovan Dj. Golic.  Linear Cryptanalysis of Stream Ciphers , 1994, FSE.

[13]  Claude Carlet,et al.  An Infinite Class of Balanced Functions with Optimal Algebraic Immunity, Good Immunity to Fast Algebraic Attacks and Good Nonlinearity , 2008, ASIACRYPT.

[14]  Claude Carlet,et al.  Boolean Functions for Cryptography and Error-Correcting Codes , 2010, Boolean Models and Methods.

[15]  Nicolas Courtois.  Fast Algebraic Attacks on Stream Ciphers with Linear Feedback , 2003, CRYPTO.