English
Related papers

Related papers: Exploring Semi-bent Boolean Functions Arising from…

200 papers

This letter shows that linear Cellular Automata based on rules 90/150 generate all the solutions of linear difference equations with binary constant coefficients. Some of these solutions are pseudo-random noise sequences with application in…

Cryptography and Security · Computer Science 2015-03-17 A. Fúster-Sabater , P. Caballero-Gil

We describe and analyze a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of semialgebraic sets given by Boolean formulas. The algorithm works in weak exponential time. This means that outside a…

Computational Geometry · Computer Science 2021-10-14 Peter Bürgisser , Felipe Cucker , Josué Tonelli-Cueto

This paper continues a systematic and comprehensive study on the structural properties of CFL functions, which are in general multi-valued partial functions computed by one-way one-head nondeterministic pushdown automata equipped with…

Formal Languages and Automata Theory · Computer Science 2015-08-25 Tomoyuki Yamakami

Idempotent Boolean functions form a highly structured subclass of Boolean functions that is closely related to rotation symmetry under a normal-basis representation and to invariance under a fixed linear map in a polynomial basis. These…

Cryptography and Security · Computer Science 2026-02-03 Claude Carlet , Marko Ðurasevic , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

Maximum length CA has wide range of applications in design of linear block code, cryptographic primitives and VLSI testing particularly in Built-In-Self-Test. In this paper, an algorithm to compute all $n$-cell maximum length CA-rule…

Other Computer Science · Computer Science 2015-03-16 Jaydeb Bhaumik

Quantum cellular automata are alternative quantum-computing paradigms to quantum Turing machines and quantum circuits. Their working mechanisms are inherently automated, therefore measurement free, and they act in a translation invariant…

Quantum Physics · Physics 2025-07-28 Thiago L. M. Guedes , Don Winter , Markus Müller

For data ciphering a key is usually needed as a base, so it is indispensable to have one that is strong and trustworthy, so as to keep others from accessing the ciphered data. This requires a pseudo-random number generator that would…

Computational Complexity · Computer Science 2011-09-27 Elena Villarreal Zapata , Francisco Cruz Ordaz Salazar

Homogenous Boolean function is an essential part of any cryptographic system. The ability to construct an optimized reversible circuits for homogeneous Boolean functions might arise the possibility of building cryptographic system on novel…

Quantum Physics · Physics 2007-10-04 Ahmed Younes

It has been shown that uniform as well as non-uniform cellular automata (CA) can be evolved to perform certain computational tasks. Random Boolean networks are a generalization of two-state cellular automata, where the interconnection…

Disordered Systems and Neural Networks · Physics 2007-05-23 Bertrand Mesot , Christof Teuscher

The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such statement is in itself a partial function, which allows only…

Logic in Computer Science · Computer Science 2017-08-21 Abhinav Aggarwal

In this paper, we study the following variant of the junta learning problem. We are given oracle access to a Boolean function $f$ on $n$ variables that only depends on $k$ variables, and, when restricted to them, equals some predefined…

Quantum Physics · Physics 2014-10-29 Aleksandrs Belovs

We consider a semi-algebraic function defined on a closed semi-algebraic set X. We give formulas relating the topology of X to the indices of the critical points of the function and to the topological behavior of the function at infinity.…

Algebraic Geometry · Mathematics 2010-12-10 Nicolas Dutertre

Cellular automata (CA) is an important modelling paradigm for complex systems. In the design of cellular automata, the most difficult task is to find the transformation rules that describe the temporal evolution or pattern of a modelled…

Cellular Automata and Lattice Gases · Physics 2023-10-03 Lei Kou , Fangfang Zhang , Luobing Chen , Wende Ke , Quande Yuan , Junhe Wan , Zhen Wang

A Boolean function is symmetric if it is invariant under all permutations of its arguments; it is quasi-symmetric if it is symmetric with respect to the arguments on which it actually depends. We present a test that accepts every…

Computational Complexity · Computer Science 2007-08-17 Krzysztof Majewski , Nicholas Pippenger

In this work, pseudorandom sequence generators based on finite fields have been analyzed from the point of view of their cryptographic application. In fact, a class of nonlinear sequence generators has been modelled in terms of linear…

Cryptography and Security · Computer Science 2010-05-12 Amparo Fuster-Sabater , Pino Caballero-Gil

The hidden shift problem is a natural place to look for new separations between classical and quantum models of computation. One advantage of this problem is its flexibility, since it can be defined for a whole range of functions and a…

Quantum Physics · Physics 2013-12-05 Dmitry Gavinsky , Martin Roetteler , Jérémie Roland

A subset of 10 of the 256 elementary cellular automata (ECA) are implemented as a hash function using an error minimization lossy compression algorithm operating on wrapped 4x4 neighborhood cells. All 256 rules are processed and 10 rules in…

Cellular Automata and Lattice Gases · Physics 2025-06-10 Daniel McKinley

We consider collocated wireless sensor networks, where each node has a Boolean measurement and the goal is to compute a given Boolean function of these measurements. We first consider the worst case setting and study optimal block…

Information Theory · Computer Science 2011-05-09 Hemant Kowshik , P. R. Kumar

This paper presents a classification of Cellular Automata rules based on its properties at the nth iteration. Elaborate computer program has been designed to get the nth iteration for arbitrary 1-D or 2-D CA rules. Studies indicate that the…

Solving systems of Boolean equations is a fundamental task in symbolic computation and algebraic cryptanalysis, with wide-ranging applications in cryptography, coding theory, and formal verification. Among existing approaches, the Boolean…

Cryptography and Security · Computer Science 2026-04-21 Minzhong Luo , Yudong Sun , Yin Long
‹ Prev 1 3 4 5 6 7 10 Next ›