Cover Image

Cryptanalysis of a multivariate CCZ scheme

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Caminata, Alessio, Gorla, Elisa, Mabe, Madison, Vigorito, Martina, Villa, Irene
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Power Series on Algebraic Cryptanalysis
by: Nakamura, Shuhei
Published: (2020)

A new multivariate primitive from CCZ equivalence
by: Calderini, Marco, et al.
Published: (2024)

Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher
by: La Scala, Roberto, et al.
Published: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
by: Bardet, Magali, et al.
Published: (2025)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
by: Dasu, Vishnu Asutosh, et al.
Published: (2026)

Optimal Communication Unbalanced Private Set Union
by: Dumas, Jean-Guillaume, et al.
Published: (2024)

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
by: Amiot, Noé, et al.
Published: (2025)

Computing a Group Action from the Class Field Theory of Imaginary Hyperelliptic Function Fields
by: Leudière, Antoine, et al.
Published: (2022)

A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium
by: La Scala, Roberto, et al.
Published: (2023)

Computing Isomorphisms between Products of Supersingular Elliptic Curves
by: Gaudry, Pierrick, et al.
Published: (2025)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
by: Gorna, Karolina, et al.
Published: (2026)

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
by: Bizzarri, Alice, et al.
Published: (2024)

Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings
by: Furue, Hiroki, et al.
Published: (2021)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
by: Curaba, Cristian, et al.
Published: (2024)

Explicit cost analysis of Toom-4 multiplication for incomplete NTT in lattice-based cryptography
by: Oku, Sakura, et al.
Published: (2026)

Access Hoare Logic
by: Beckmann, Arnold, et al.
Published: (2025)

The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences
by: Kudo, Momonari, et al.
Published: (2024)

SHA-256 Collision Attack with Programmatic SAT
by: Alamgir, Nahiyan, et al.
Published: (2024)

SAT and Lattice Reduction for Integer Factorization
by: Ajani, Yameen, et al.
Published: (2024)

PANTHER: Pluginizable Testing Environment for Network Protocols
by: Crochet, Christophe, et al.
Published: (2025)

Network Simulator-centric Compositional Testing
by: Rousseaux, Tom, et al.
Published: (2025)

Solving Polynomial Systems with Gröbner Bases: An Introduction to F4 and FGLM
by: Bigatti, Anna Maria, et al.
Published: (2025)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
by: Moran, Murat
Published: (2026)

Randomized Distributed Function Computation (RDFC): Ultra-Efficient Semantic Communication Applications to Privacy
by: Günlü, Onur
Published: (2026)

The regular multivariate quadratic problem
by: Joux, Antoine, et al.
Published: (2025)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

Cryptanalysis of Cancelable Biometrics Vault
by: Lacharme, Patrick, et al.
Published: (2025)

Fast interpolation of sparse multivariate polynomials
by: van der Hoeven, Joris, et al.
Published: (2023)

The complexity of solving a system of equations of the same degree
by: Gaggero, Giulia, et al.
Published: (2023)

Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
by: Telek, Máté L.
Published: (2023)

Cryptanalysis of Pseudorandom Error-Correcting Codes
by: Wang, Tianrui, et al.
Published: (2025)

Cryptanalysis on Lightweight Verifiable Homomorphic Encryption
by: Cheon, Jung Hee, et al.
Published: (2025)

Gröbner Basis Cryptanalysis of Ciminion and Hydra
by: Steiner, Matthias Johann
Published: (2024)

Certificates for nonnegativity of multivariate integer polynomials under perturbations
by: Bender, Matías R, et al.
Published: (2025)

On the equivalence problem of Smith forms for multivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2024)

An algebraic attack on stream ciphers with application to nonlinear filter generators and WG-PRNG
by: Mascia, Carla, et al.
Published: (2021)

Analyzing Linear Layers in Related-Differential Cryptanalysis
by: Kumar, Yogesh, et al.
Published: (2026)

Cryptanalysis of Isogeny-Based Quantum Money with Rational Points
by: Kim, Hyeonhak, et al.
Published: (2025)

Neural Stringology Based Cryptanalysis of EChaCha20
by: Kebande, Victor
Published: (2026)