Cover Image

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	A, Bhuvaneswari, Bhattacharjee, Kamalika
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Formal Languages and Automata Theory Mathematical Software
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algebraic Characterization of Reversible First Degree Cellular Automata over $\mathbb{Z}_d$
by: J., Baby C., et al.
Published: (2026)

Formally Verifying Noir Zero Knowledge Programs with NAVe
by: Antonino, Pedro, et al.
Published: (2026)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
by: Shi, Chenhao, et al.
Published: (2023)

A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications
by: Bhattacharjee, Kamalika, et al.
Published: (2016)

Gödel Number based Clustering Algorithm with Decimal First Degree Cellular Automata
by: Vikrant, Vicky, et al.
Published: (2024)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
by: Khakpour, Narges, et al.
Published: (2025)

Attack Tree Generation via Process Mining
by: Konsta, Alyzia-Maria, et al.
Published: (2024)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
by: Ziiatdinov, Mansur, et al.
Published: (2024)

Privacy-Preserving Runtime Verification
by: Henzinger, Thomas A., et al.
Published: (2025)

Sharing The Secret: Distributed Privacy-Preserving Monitoring
by: Karimi, Mahyar, et al.
Published: (2026)

Automated generation of attack trees with optimal shape and labelling
by: Gadyatskaya, Olga, et al.
Published: (2023)

Regular Expression Denial of Service Induced by Backreferences
by: Liu, Yichen, et al.
Published: (2026)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
by: Amorim, Arthur, et al.
Published: (2026)

Hierarchical Clustering using Reversible Binary Cellular Automata for High-Dimensional Data
by: J., Baby C., et al.
Published: (2024)

Reachability Analysis of the Domain Name System
by: Nevatia, Dhruv, et al.
Published: (2024)

Verification and Attack Synthesis for Network Protocols
by: von Hippel, Max
Published: (2025)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
by: Waga, Masaki, et al.
Published: (2024)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
by: Modesti, Paolo, et al.
Published: (2021)

Decidability and Characterization of Expansivity for Group Cellular Automata
by: Castronuovo, Niccolo', et al.
Published: (2025)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
by: Castronuovo, Niccolo', et al.
Published: (2025)

Automata Learning -- Expect Delays!
by: Dengler, Gabriel, et al.
Published: (2025)

Asynchronism in Cellular Automata
by: Gautam, Virendra Kumar
Published: (2025)

Maximal Length Cellular Automata : A Survey
by: Adak, Sumit, et al.
Published: (2024)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
by: Basile, Davide
Published: (2025)

Reflexive Composition of Elementary State Machines, with an Application to the Reversal of Cellular Automata Rule 90
by: Salzberg, Chris, et al.
Published: (2025)

Universality Frontier for Asynchronous Cellular Automata
by: Baburin, Ivan, et al.
Published: (2025)

Simulation Limitations of Affine Cellular Automata
by: Hudcová, Barbora, et al.
Published: (2023)

Differential Tree Automata
by: Manssour, Rida Ait El, et al.
Published: (2024)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
by: Liu, Yuntao, et al.
Published: (2021)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
by: Ye, Kangfeng, et al.
Published: (2025)

A New Notion of Regularity: Finite State Automata Accepting Graphs
by: Meeres, Yvo Ad
Published: (2024)

On Normality and Equidistribution for Separator Enumerators
by: Pulari, Subin
Published: (2026)

Agentproof: Static Verification of Agent Workflow Graphs
by: Xavier, Melwin, et al.
Published: (2026)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
by: Manini, Andrea, et al.
Published: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
by: Aristote, Quentin, et al.
Published: (2025)

The Bright Side of Timed Opacity
by: André, Étienne, et al.
Published: (2024)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
by: Crochet, Christophe, et al.
Published: (2025)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
by: Zhang, Qifan, et al.
Published: (2025)

A Search for Good Pseudo-random Number Generators : Survey and Empirical Studies
by: Bhattacharjee, Kamalika, et al.
Published: (2018)

Finite Automata for Efficient Graph Recognition
by: Drewes, Frank, et al.
Published: (2024)