A novel cryptosystem based on Gluškov product of automata

The concept of Gluškov product was introduced by V. M. Gluškov in 1961. It was intensively studied by several scientists (first of all, by Ferenc Gécseg and the automata-theory school centred around him in Szeged, Hungary) since the middle of 60’s. In spite of the large number of excellent publications, no application of Gluškov-type products of automata in cryptography has arisen so far. This paper is the first attempt in this direction

A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications

Cellular automata (CAs) are dynamical systems which exhibit complex global behavior from simple local interaction and computation. Since the inception of cellular automaton (CA) by von Neumann in 1950s, it has attracted the attention of several researchers over various backgrounds and fields for modelling different physical, natural as well as real-life phenomena. Classically, CAs are uniform. However, non-uniformity has also been introduced in update pattern, lattice structure, neighborhood dependency and local rule. In this survey, we tour to the various types of CAs introduced till date, the different characterization tools, the global behaviors of CAs, like universality, reversibility, dynamics etc. Special attention is given to non-uniformity in CAs and especially to non-uniform elementary CAs, which have been very useful in solving several real-life problems.Comment: 43 pages; Under review in Natural Computin

On Undecidable Dynamical Properties of Reversible One-Dimensional Cellular Automata

Cellular automata are models for massively parallel computation. A cellular automaton consists of cells which are arranged in some kind of regular lattice and a local update rule which updates the state of each cell according to the states of the cell's neighbors on each step of the computation. This work focuses on reversible one-dimensional cellular automata in which the cells are arranged in a two-way in_nite line and the computation is reversible, that is, the previous states of the cells can be derived from the current ones. In this work it is shown that several properties of reversible one-dimensional cellular automata are algorithmically undecidable, that is, there exists no algorithm that would tell whether a given cellular automaton has the property or not. It is shown that the tiling problem of Wang tiles remains undecidable even in some very restricted special cases. It follows that it is undecidable whether some given states will always appear in computations by the given cellular automaton. It also follows that a weaker form of expansivity, which is a concept of dynamical systems, is an undecidable property for reversible one-dimensional cellular automata. It is shown that several properties of dynamical systems are undecidable for reversible one-dimensional cellular automata. It shown that sensitivity to initial conditions and topological mixing are undecidable properties. Furthermore, non-sensitive and mixing cellular automata are recursively inseparable. It follows that also chaotic behavior is an undecidable property for reversible one-dimensional cellular automata.Siirretty Doriast

Building Secure and Fast Cryptographic Hash Functions Using Programmable Cellular Automata

Cryptographic hash functions have recently brought an exceptional research interest. With the increasing number of attacks against the widely used functions as MD5, SHA-1 and RIPEMD, the need to consider new hash functions design and conception strategies becomes crucial. In this paper, we propose a fast and efficient hash function using programmable cellular automata that are very suitable for cryptographic applications due to their chaotic and complex behavior derived from simple rules interaction. The proposed function is evaluated using several statistical tests, while obtained results demonstrate very admissible cryptographic properties such as confusion/diffusion capability and high sensitivity to input changes. Furthermore, the hashing scheme can be easily implemented through software or hardware, so it provides very competitive running performances

The Differential Scheme and Quantum Computation

It is well-known that standard models of computation are representable as simple dynamical systems that evolve in discrete time, and that systems that evolve in continuous time are often representable by dynamical systems governed by ordinary differential equations. In many applications, e.g., molecular networks and hybrid Fermi-Pasta-Ulam systems, one must work with dynamical systems comprising both discrete and continuous components. Reasoning about and verifying the properties of the evolving state of such systems is currently a piecemeal affair that depends on the nature of major components of a system: e.g., discrete vs. continuous components of state, discrete vs. continuous time, local vs. distributed clocks, classical vs. quantum states and state evolution. We present the Differential Scheme as a unifying framework for reasoning about and verifying the properties of the evolving state of a system, whether the system in question evolves in discrete time, as for standard models of computation, or continuous time, or a combination of both. We show how instances of the differential scheme can accommodate classical computation. We also generalize a relatively new model of quantum computation, the quantum cellular automaton, with an eye towards extending the differential scheme to accommodate quantum computation and hybrid classical/quantum computation. All the components of a specific instance of the differential scheme are Convergence Spaces. Convergence spaces generalize notions of continuity and convergence. The category of convergence spaces, Conv, subsumes both simple discrete structures (e.g., digraphs), and complex continuous structures (e.g., topological spaces, domains, and the standard fields of analysis: R and C). We present novel uses for convergence spaces, and extend their theory by defining differential calculi on Conv. It is to the use of convergence spaces that the differential scheme owes its generality and flexibility

Pseudorandom number generator by cellular automata and its application to cryptography.

by Siu Chi Sang Obadiah.Thesis (M.Phil.)--Chinese University of Hong Kong, 1999.Includes bibliographical references (leaves 66-68).Abstracts in English and Chinese.Chapter 1 --- Pseudorandom Number Generator --- p.5Chapter 1.1 --- Introduction --- p.5Chapter 1.2 --- Statistical Indistingushible and Entropy --- p.7Chapter 1.3 --- Example of PNG --- p.9Chapter 2 --- Basic Knowledge of Cellular Automata --- p.12Chapter 2.1 --- Introduction --- p.12Chapter 2.2 --- Elementary and Totalistic Cellular Automata --- p.14Chapter 2.3 --- Four classes of Cellular Automata --- p.17Chapter 2.4 --- Entropy --- p.20Chapter 3 --- Theoretical analysis of the CA PNG --- p.26Chapter 3.1 --- The Generator --- p.26Chapter 3.2 --- Global Properties --- p.27Chapter 3.3 --- Stability Properties --- p.31Chapter 3.4 --- Particular Initial States --- p.33Chapter 3.5 --- Functional Properties --- p.38Chapter 3.6 --- Computational Theoretical Properties --- p.42Chapter 3.7 --- Finite Size Behaviour --- p.44Chapter 3.8 --- Statistical Properties --- p.51Chapter 3.8.1 --- statistical test used --- p.54Chapter 4 --- Practical Implementation of the CA PNG --- p.56Chapter 4.1 --- The implementation of the CA PNG --- p.56Chapter 4.2 --- Applied to the set of integers --- p.58Chapter 5 --- Application to Cryptography --- p.61Chapter 5.1 --- Stream Cipher --- p.61Chapter 5.2 --- One Time Pad --- p.62Chapter 5.3 --- Probabilistic Encryption --- p.63Chapter 5.4 --- Probabilistic Encryption with RSA --- p.64Chapter 5.5 --- Prove yourself --- p.65Bibliograph

Cellular Automata

Modelling and simulation are disciplines of major importance for science and engineering. There is no science without models, and simulation has nowadays become a very useful tool, sometimes unavoidable, for development of both science and engineering. The main attractive feature of cellular automata is that, in spite of their conceptual simplicity which allows an easiness of implementation for computer simulation, as a detailed and complete mathematical analysis in principle, they are able to exhibit a wide variety of amazingly complex behaviour. This feature of cellular automata has attracted the researchers' attention from a wide variety of divergent fields of the exact disciplines of science and engineering, but also of the social sciences, and sometimes beyond. The collective complex behaviour of numerous systems, which emerge from the interaction of a multitude of simple individuals, is being conveniently modelled and simulated with cellular automata for very different purposes. In this book, a number of innovative applications of cellular automata models in the fields of Quantum Computing, Materials Science, Cryptography and Coding, and Robotics and Image Processing are presented

On some one-sided dynamics of cellular automata

A dynamical system consists of a space of all possible world states and a transformation of said space. Cellular automata are dynamical systems where the space is a set of one- or two-way infinite symbol sequences and the transformation is defined by a homogenous local rule. In the setting of cellular automata, the geometry of the underlying space allows one to define one-sided variants of some dynamical properties; this thesis considers some such one-sided dynamics of cellular automata. One main topic are the dynamical concepts of expansivity and that of pseudo-orbit tracing property. Expansivity is a strong form of sensitivity to the initial conditions while pseudo-orbit tracing property is a type of approximability. For cellular automata we define one-sided variants of both of these concepts. We give some examples of cellular automata with these properties and prove, for example, that right-expansive cellular automata are chain-mixing. We also show that left-sided pseudo-orbit tracing property together with right-sided expansivity imply that a cellular automaton has the pseudo-orbit tracing property. Another main topic is conjugacy. Two dynamical systems are conjugate if, in a dynamical sense, they are the same system. We show that for one-sided cellular automata conjugacy is undecidable. In fact the result is stronger and shows that the relations of being a factor or a susbsystem are undecidable, too