[HTML][HTML] An efficient algorithm deciding chaos for linear cellular automata over (Z/mZ) n with applications to data encryption

A Dennunzio, E Formenti, L Margara - Information Sciences, 2024 - Elsevier
We provide an efficient algorithm deciding chaos for linear cellular automata (LCA) over
(Z/m Z) n, a large and important class of cellular automata (CA) which may exhibit many of …

Efficient methods with polynomial complexity to determine the reversibility of general 1D linear cellular automata over Zp

X Du, C Wang, T Wang, Z Gao - Information Sciences, 2022 - Elsevier
The property of reversibility is quite meaningful for the classic theoreticabl computer science
model, cellular automata. This paper focuses on the reversibility of general one-dimensional …

An easy to check characterization of positive expansivity for additive cellular automata over a finite abelian group

A Dennunzio, E Formenti, L Margara - IEEE Access, 2023 - ieeexplore.ieee.org
Additive cellular automata over a finite abelian group are a wide class of cellular automata
(CA) that are able to exhibit most of the complex behaviors of general CA and they are often …

A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher

ER Lira, HB de Macêdo, DA Lima, L Alt, GMB Oliveira - Natural Computing, 2023 - Springer
The one-dimensional cellular automata (CA) system detailed herein uses a hybrid
mechanism to attain reversibility, and this approach is adapted to create a novel block cipher …

On the Dynamical Behavior of Cellular Automata on Finite Groups

A Dennunzio, E Formenti, L Margara - IEEE Access, 2024 - ieeexplore.ieee.org
During the last few decades, significant efforts have been devoted to analyze the dynamical
behavior of cellular automata (CAs) on cyclic groups, their Cartesian power (referred to as …

An efficiently computable characterization of stability and instability for linear cellular automata

A Dennunzio, E Formenti, D Grinberg… - Journal of Computer and …, 2021 - Elsevier
We provide an efficiently computable characterization of two important properties describing
stable and unstable complex behaviours as equicontinuity and sensitivity to the initial …

A topology for P-systems with active membranes

A Dennunzio, E Formenti, L Manzoni, L Margara… - Journal of Membrane …, 2023 - Springer
This paper proposes a study of deterministic P systems with active membranes in the context
of discrete time dynamical systems. First of all, we prove that, for a fixed set of objects and …

Theory of Cellular Automata: from the Past and Present to Some Path Towards the Future

A Dennunzio - International Conference on Cellular Automata for …, 2024 - Springer
Theory of Cellular Automata: from the Past and Present to Some Path Towards the Future |
SpringerLink Skip to main content Advertisement SpringerLink Account Menu Find a journal …

Easy to Check Algebraic Characterizations of Dynamical Properties for Linear CA and Additive CA over a Finite Abelian Group

A Dennunzio - International Workshop on Cellular Automata and …, 2024 - Springer
We focus on how the dynamical properties of any Linear CA over (Z/m Z) n are hidden inside
the characteristic polynomial of its defining matrix, namely, a polynomial of degree n in the …

Positive Expansivity is Decidable for Additive Cellular Automata over a Finite Abelian Group

A Dennunzio, E Formenti, L Margara - arXiv preprint arXiv:2308.03064, 2023 - arxiv.org
We prove that positive expansivity is a decidable property for Additive Cellular Automata
over a finite abelian group. First of all, the decidability result is provided for the non trivial …