Cover Image

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bardet, Magali, Gilard, Alban
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

The complexity of the SupportMinors Modeling for the MinRank Problem
by: Cabarcas, Daniel, et al.
Published: (2025)

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

Public-Key Encryption from the MinRank Problem
by: Chatterjee, Rohit, et al.
Published: (2025)

Cryptanalysis of a multivariate CCZ scheme
by: Caminata, Alessio, 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)

Computing Isomorphisms between Products of Supersingular Elliptic Curves
by: Gaudry, Pierrick, 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)

MinRank Gabidulin encryption scheme on matrix codes
by: Aragon, Nicolas, et al.
Published: (2024)

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

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)

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)

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)

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)

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)

On Exact Reznick, Hilbert-Artin and Putinar's Representations
by: Magron, Victor, et al.
Published: (2018)

The Recovery of $λ$ from a Hilbert Polynomial
by: Donato, Joseph, et al.
Published: (2024)

The Matrix Subcode Equivalence problem and its application to signature with MPC-in-the-Head
by: Bardet, Magali, et al.
Published: (2025)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
by: Sonna, Belona, et al.
Published: (2025)

Hilbert's Nullstellensatz is in the Counting Hierarchy
by: Andrews, Robert, et al.
Published: (2026)

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

Computational Explorations on Semifields
by: Dumas, Jean-Guillaume, et al.
Published: (2026)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
by: Buchacher, Manfred, et al.
Published: (2024)

Software Portability for Computer Algebra
by: Norman, Arthur C., et al.
Published: (2025)

On the Computation of Newton Polytopes of Eliminants
by: Mohr, Rafael, et al.
Published: (2025)

On the Summability Problem of Multivariate Rational Functions in the Mixed Case
by: Chen, Shaoshi, et al.
Published: (2026)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Computing Krylov iterates in the time of matrix multiplication
by: Neiger, Vincent, et al.
Published: (2024)

Computing a holonomic submodule of the partial Weyl closure
by: Brochet, Hadrien
Published: (2026)