Cover Image

Testing a cellular automata construction method to obtain 9-variable cryptographic Boolean functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Prévost, Thomas, Martin, Bruno
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A 10-bit S-box generated by Feistel construction from cellular automata
by: Prévost, Thomas, et al.
Published: (2025)

An ETSI GS QKD compliant TLS implementation
by: Prévost, Thomas, et al.
Published: (2025)

On some cryptographic properties of Boolean functions and their second-order derivatives
by: Musukwa, Augustine, et al.
Published: (2019)

Testing side-channel security of cryptographic implementations against future microarchitectures
by: Barthe, Gilles, et al.
Published: (2024)

Cryptoscope: Analyzing cryptographic usages in modern software
by: Moffie, Micha, et al.
Published: (2025)

A survey about Hidden Subgroup Problem from a mathematical and cryptographic perspective
by: Dutto, Simone, et al.
Published: (2025)

Assessment of cryptographic approaches for a quantum-resistant Galileo OSNMA
by: Junquera-Sánchez, Javier, et al.
Published: (2023)

New classes of reversible cellular automata
by: Haugland, Jan Kristian, et al.
Published: (2024)

MULTISS: un protocole de stockage confidentiel {à} long terme sur plusieurs r{é}seaux QKD
by: Prévost, Thomas, et al.
Published: (2025)

Opacity problems in multi-energy timed automata
by: André, Étienne, et al.
Published: (2025)

Execution-time opacity control for timed automata
by: André, Étienne, et al.
Published: (2024)

Crypto-ncRNA: a bio-inspired post-quantum cryptographic primitive exploiting RNA folding complexity
by: Wang, Xu, et al.
Published: (2025)

Use of Simple Arithmetic Operations to Construct Efficiently Implementable Boolean functions Possessing High Nonlinearity and Good Resistance to Algebraic Attacks
by: Carlet, Claude, et al.
Published: (2024)

SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
by: Valence, Arnaud
Published: (2026)

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
by: Skees, Colton
Published: (2024)

Balance-Based Cryptography: Physically Computing Any Boolean Function
by: Ruangwises, Suthee
Published: (2025)

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
by: de Castelnau, Julien, et al.
Published: (2025)

AuthOr: Lower Cost Authenticity-Oriented Garbling for Arbitrary Boolean Circuits
by: Biçer, Osman, et al.
Published: (2025)

How to reconstruct (anonymously) a secret cellular automaton
by: Mariot, Luca, et al.
Published: (2026)

Evaluating the Indistinguishability of Logic Locking using K-Cut Enumeration and Boolean Matching
by: Cruz, Jonathan, et al.
Published: (2026)

Mathematical Model of Strong Physically Unclonable Functions Based on Hybrid Boolean Networks
by: Charlot, Noeloikeau, et al.
Published: (2022)

A blueprint for constructing 3-pass AKE protocols under commitment-based models
by: Sánchez-Ledesma, Rodrigo Martín
Published: (2026)

Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
by: Lee, Seoksu, et al.
Published: (2026)

Towards Supporting Penetration Testing Education with Large Language Models: an Evaluation and Comparison
by: Nizon-Deladoeuille, Martin, et al.
Published: (2025)

Constructions of Efficiently Implementable Boolean Functions with Provable Nonlinearity/Resiliency/Algebraic Immunity Trade-Offs
by: Sarkar, Palash
Published: (2025)

BRASP: Boolean Range Queries over Encrypted Spatial Data with Access and Search Pattern Privacy
by: Zhang, Jing, et al.
Published: (2026)

A New Tool to Find Lightweight (And, Xor) Implementations of Quadratic Vectorial Boolean Functions up to Dimension 9
by: Bolzer, Marie, et al.
Published: (2026)

Expiring opacity problems in parametric timed automata
by: André, Étienne, et al.
Published: (2024)

On the construction of ultra-light MDS matrices
by: Tian, Yu, et al.
Published: (2024)

A New Representation of Binary Sequences by means of Boolean Functions
by: Cardell, S. D., et al.
Published: (2025)

Feature graph construction with static features for malware detection
by: Zou, Binghui, et al.
Published: (2024)

Poster: Towards an Automated Security Testing Framework for Industrial UEs
by: Michaelides, Sotiris, et al.
Published: (2025)

Municipal cyber risk modeling using cryptographic computing to inform cyber policymaking
by: Baral, Avital, et al.
Published: (2024)

Degree is Important: On Evolving Homogeneous Boolean Functions
by: Carlet, Claude, et al.
Published: (2025)

Fast computation of 2-isogenies in dimension 4 and cryptographic applications
by: Dartois, Pierrick
Published: (2024)

A formula for constructing Mignotte sequences
by: Putresza, Marek
Published: (2024)

DROIDCCT: Cryptographic Compliance Test via Trillion-Scale Measurement
by: Moghimi, Daniel, et al.
Published: (2026)

Monotone but Exciting: On Evolving Monotone Boolean Functions with High Nonlinearity
by: Carlet, Claude, et al.
Published: (2026)

IDEM Enough? Evolving Highly Nonlinear Idempotent Boolean Functions
by: Carlet, Claude, et al.
Published: (2026)

NegaBent, No Regrets: Evolving Spectrally Flat Boolean Functions
by: Carlet, Claude, et al.
Published: (2026)