Advertisement

Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular Automata

  • Luca Mariot
  • Enrico Formenti
  • Alberto Leporati
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10248)

Abstract

We consider the problem of enumerating pairs of bipermutive cellular automata (CA) which generate orthogonal Latin squares. Since the problem has already been settled for bipermutive CA with linear local rules, we address the general case of nonlinear rules, which could be interesting for cryptographic applications such as the design of cheater-immune secret sharing schemes. We first prove that two bipermutive CA generating orthogonal Latin squares must have pairwise balanced local rules. Then, we count the number of pairwise balanced bipermutive Boolean functions and enumerate those which generate orthogonal Latin squares up to \(n=6\) variables, classifying them with respect to their nonlinearity values.

Keywords

Cellular automata Latin squares Bipermutivity Pairwise balancedness 

References

  1. 1.
    Carlet, C.: Boolean functions for cryptography and error correcting codes. In: Crama, Y., Hammer, P.L. (eds.) Boolean Models and Methods in Mathematics, Computer Science, and Engineering, 1st edn., pp. 257–397. Cambridge University Press, New York (2010)Google Scholar
  2. 2.
    Carlet, C.: Vectorial Boolean functions for cryptography. In: Crama, Y., Hammer, P.L. (eds.) Boolean Models and Methods in Mathematics, Computer Science, and Engineering, 1st edn., pp. 398–469. Cambridge University Press, New York (2010)Google Scholar
  3. 3.
    Colbourn, C.J., Dinitz, J.H.: Making the mols table. In: Wallis, W.D. (ed.) Computational and Constructive Design Theory, pp. 67–134. Springer, Dordrecht (1996)CrossRefGoogle Scholar
  4. 4.
    Eloranta, K.: Partially permutive cellular automata. Nonlinearity 6(6), 1009–1023 (1993)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Formenti, E., Imai, K., Martin, B., Yunès, J.-B.: Advances on random sequence generation by uniform cellular automata. In: Calude, C.S., Freivalds, R., Kazuo, I. (eds.) Computing with New Resources. LNCS, vol. 8808, pp. 56–70. Springer, Cham (2014). doi: 10.1007/978-3-319-13350-8_5 CrossRefGoogle Scholar
  6. 6.
    Keedwell, A.D., Dénes, J.: Latin Squares and Their Applications. Elsevier (2015)Google Scholar
  7. 7.
    Knuth, D.: The Art of Computer Programming, vol. 4, pre-fascicle 3a (2011)Google Scholar
  8. 8.
    Leporati, A., Mariot, L.: 1-resiliency of bipermutive cellular automata rules. In: Kari, J., Kutrib, M., Malcher, A. (eds.) AUTOMATA 2013. LNCS, vol. 8155, pp. 110–123. Springer, Heidelberg (2013). doi: 10.1007/978-3-642-40867-0_8 CrossRefGoogle Scholar
  9. 9.
    Leporati, A., Mariot, L.: Cryptographic properties of bipermutive cellular automata rules. J. Cell. Autom. 9(5–6), 437–475 (2014)MathSciNetMATHGoogle Scholar
  10. 10.
    Mariot, L., Formenti, E., Leporati, A.: Constructing orthogonal latin squares from linear cellular automata. CoRR abs/1610.00139 (2016)Google Scholar
  11. 11.
    Moore, C.: Predicting nonlinear cellular automata quickly by decomposing them into linear ones. Phys. D Nonlinear Phenom. 111(1–4), 27–41 (1998)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Moore, C., Drisko, A.A., et al.: Algebraic properties of the block transformation on cellular automata. Complex Syst. 10(3), 185–194 (1996)MathSciNetMATHGoogle Scholar
  13. 13.
    Pedersen, J.: Cellular automata as algebraic systems. Complex Syst. 6(3), 237–250 (1992)MathSciNetMATHGoogle Scholar
  14. 14.
    Stinson, D.R.: Combinatorial Designs - Constructions and Analysis. Springer, New York (2004)MATHGoogle Scholar
  15. 15.
    Tompa, M., Woll, H.: How to share a secret with cheaters. J. Cryptol. 1(2), 133–138 (1988)MathSciNetMATHGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2017

Authors and Affiliations

  • Luca Mariot
    • 1
    • 2
  • Enrico Formenti
    • 2
  • Alberto Leporati
    • 1
  1. 1.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità degli Studi di Milano-BicoccaMilanItaly
  2. 2.Université Côte d’Azur, CNRS, I3SSophia AntipolisFrance

Personalised recommendations