Advertisement

Tools in Analyzing Linear Approximation for Boolean Functions Related to FLIP

  • Subhamoy Maitra
  • Bimal Mandal
  • Thor Martinsen
  • Dibyendu Roy
  • Pantelimon Stănică
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11356)

Abstract

For cryptographic purposes, we generally study the characteristics of a Boolean function in n-variables with the inherent assumption that each of the n-bit inputs take the value 0 or 1, independently and randomly with probability 1 / 2. However, in the context of the FLIP stream cipher proposed by Méaux et al. (Eurocrypt 2016), this type of analysis warrants a different approach. To this end, Carlet et al. (IACR Trans. Symm. Crypto. 2018) recently presented a detailed analysis of Boolean functions with restricted inputs (mostly considering inputs with weight \(\frac{n}{2}\)) and provided certain bounds on linear approximation, which are related to restricted nonlinearity. The Boolean function used in the FLIP cipher reveals that it is actually a direct sum of several Boolean functions on a small number of inputs. Thus, with a different approach, we start a study in order to understand how the inputs to the composite function are distributed on the smaller functions. In this direction, we obtain several results that summarize the exact biases related to such Boolean functions. Finally, for the nonlinear filter function of FLIP, we obtain the lower bound on the restricted Walsh–Hadamard transform (i.e., upper bound on restricted nonlinearity). Our techniques provide a general theoretical framework to study such functions and better than previously published estimations of the biases, which is directly linked to the security parameters of the stream cipher.

Keywords

Bias Boolean function FLIP Homomorphic encryption Restricted domain Stream cipher 

Notes

Acknowledgments

We would like to thank the anonymous reviewers of Indocrypt 2018 for their valuable suggestions and comments, which considerably improved the quality of our paper. The work of T.M. and P.S. started during an enjoyable visit to ISI-Kolkata in March 2018. They would like to thank the hosts and the institution for the excellent working conditions. T.M. also acknowledges support from the Omar Nelson Bradley foundation officer research fellowship in mathematics.

References

  1. 1.
    Canteaut, A., et al.: Stream ciphers: a practical solution for efficient homomorphic-ciphertext compression. In: Peyrin, T. (ed.) FSE 2016. LNCS, vol. 9783, pp. 313–333. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-662-52993-5_16CrossRefGoogle Scholar
  2. 2.
    Carlet, C., Méaux, P., Rotella, Y.: Boolean functions with restricted input and their robustness, application to the FLIP cipher. IACR Trans. Symmetric Cryptology 3, 192–227 (2017). (presented at FSE 2018)Google Scholar
  3. 3.
    Duval, S., Lallemand, V., Rotella, Y.: Cryptanalysis of the FLIP family of stream ciphers. In: Robshaw, M., Katz, J. (eds.) CRYPTO 2016. LNCS, vol. 9814, pp. 457–475. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-662-53018-4_17CrossRefGoogle Scholar
  4. 4.
    Gangopadhyay, S., Gangopadhyay, A.K., Pollatos, S., Stănică, P.: Cryptographic Boolean functions with biased inputs. Crypt. Commun. 9(2), 301–314 (2017)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Méaux, P.: Symmetric Encryption Scheme adapted to Fully Homomorphic Encryption Scheme. In: Journées Codage et Cryptographie - JC2 2015–12éme édition des Journées Codage et Cryptographie du GT C2, 5 au 9 octobre 2015, La Londeles-Maures, France (2015). http://imath.univ-tln.fr/C2/
  6. 6.
    Méaux, P., Journault, A., Standaert, F.-X., Carlet, C.: Towards stream ciphers for efficient FHE with low-noise ciphertexts. In: Fischlin, M., Coron, J.-S. (eds.) EUROCRYPT 2016. LNCS, vol. 9665, pp. 311–343. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-662-49890-3_13CrossRefGoogle Scholar
  7. 7.
    Mesnager, S., Zhou, Z., Ding, C.: On the nonlinearity of Boolean functions with restricted input. Crypt. Commun. (2018).  https://doi.org/10.1007/s12095-018-0293-6

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Subhamoy Maitra
    • 1
  • Bimal Mandal
    • 1
  • Thor Martinsen
    • 2
  • Dibyendu Roy
    • 3
  • Pantelimon Stănică
    • 2
  1. 1.Indian Statistical InstituteKolkataIndia
  2. 2.Naval Postgraduate SchoolMontereyUSA
  3. 3.National Institute of Science Education and Research (HBNI)BhubaneswarIndia

Personalised recommendations