中文
相关论文

相关论文: Gr\"obner Basis Cryptanalysis of Ciminion and Hydr…

200 篇论文

We consider ideals involving the maximal minors of a polynomial matrix. For example, those arising in the computation of the critical values of a polynomial restricted to a variety for polynomial optimisation. Gr\"obner bases are a…

交换代数 · 数学 2022-03-21 Alin Bostan , Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din

Solving a polynomial system, or computing an associated Gr\"obner basis, has been a fundamental task in computational algebra. However, it is also known for its notorious doubly exponential time complexity in the number of variables in the…

交换代数 · 数学 2024-11-07 Hiroshi Kera , Yuki Ishihara , Yuta Kambe , Tristan Vaccon , Kazuhiro Yokoyama

Arora & Ge introduced a noise-free polynomial system to compute the secret of a Learning With Errors (LWE) instance via linearization. Albrecht et al. later utilized the Arora-Ge polynomial model to study the complexity of Gr\"obner basis…

密码学与安全 · 计算机科学 2025-04-01 Matthias Johann Steiner

Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order…

符号计算 · 计算机科学 2022-05-17 Jérémy Berthomieu , Vincent Neiger , Mohab Safey El Din

We present Groebner.jl, a Julia package for computing Groebner bases with the F4 algorithm. Groebner.jl is an efficient, portable, and open-source software. Groebner.jl works over integers modulo a prime and over the rationals, supports…

数学软件 · 计算机科学 2024-02-13 Alexander Demin , Shashi Gowda

An algorithm to generate a minimal comprehensive Gr\"obner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gr\"obner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive…

符号计算 · 计算机科学 2020-03-19 Deepak Kapur , Yiming Yang

Solving multihomogeneous systems, as a wide range of structured algebraic systems occurring frequently in practical problems, is of first importance. Experimentally, solving these systems with Gr\"obner bases algorithms seems to be easier…

符号计算 · 计算机科学 2010-02-24 Jean-Charles Faugère , Mohab Safey El Din , Pierre-Jean Spaenlehauer

Training modern neural networks or models typically requires averaging over a sample of high-dimensional vectors. Poisoning attacks can skew or bias the average vectors used to train the model, forcing the model to learn specific patterns…

密码学与安全 · 计算机科学 2024-12-17 Sarthak Choudhary , Aashish Kolluri , Prateek Saxena

A fundamental question in parallel computation, posed by Karp, Upfal, and Wigderson (FOCS 1985, JCSS 1988), asks: \emph{given only independence-oracle access to a matroid on $n$ elements, how many rounds are required to find a basis using…

数据结构与算法 · 计算机科学 2025-11-10 Sanjeev Khanna , Aaron Putterman , Junkai Song

Gr\"{o}bner bases are nowadays central tools for solving various problems in commutative algebra and algebraic geometry. A typical use of Gr\"{o}bner bases is the multivariate polynomial system solving, which enables us to construct…

符号计算 · 计算机科学 2024-03-05 Momonari Kudo , Kazuhiro Yokoyama

Algebraic cryptanalysis usually requires to recover the secret key by solving polynomial equations. Grobner bases algorithm is a well-known method to solve this problem. However, a serious drawback exists in the Grobner bases based…

密码学与安全 · 计算机科学 2015-07-19 Wansu Bao , Heliang Huang

Border bases can be considered to be the natural extension of Gr\"obner bases that have several advantages. Unfortunately, to date the classical border basis algorithm relies on (degree-compatible) term orderings and implicitly on reduced…

交换代数 · 数学 2010-02-05 Gábor Braun , Sebastian Pokutta

The GVW algorithm is a signature-based algorithm for computing Gr\"obner bases. If the input system is not homogeneous, some J-pairs with higher signatures but lower degrees are rejected by GVW's Syzygy Criterion, instead, GVW have to…

符号计算 · 计算机科学 2014-04-16 Yao Sun , Dongdai Lin , Dingkang Wang

This is a system paper about a new GPLv2 open source C library GBLA implementing and improving the idea of Faug\`ere and Lachartre (GB reduction). We further exploit underlying structures in matrices generated during Gr\"obner basis…

符号计算 · 计算机科学 2016-02-22 Brice Boyer , Christian Eder , Jean-Charles Faugère , Sylvian Lachartre , Fayssal Martani

Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible…

交换代数 · 数学 2017-08-04 Christopher J. Hillar , Robert Krone , Anton Leykin

Hadamard ideals were introduced in 2006 as a set of nonlinear polynomial equations whose zeros are uniquely related to Hadamard matrices with one or two circulant cores of a given order. Based on this idea, the cocyclic Hadamard test enable…

组合数学 · 数学 2019-01-08 V. Álvarez , J. A. Armario , R. M. Falcón , M. D. Frau , F. Gudiel

The Rank metric decoding problem is the main problem considered in cryptography based on codes in the rank metric. Very efficient schemes based on this problem or quasi-cyclic versions of it have been proposed recently, such as those in the…

密码学与安全 · 计算机科学 2021-03-05 Magali Bardet , Pierre Briaud , Maxime Bros , Philippe Gaborit , Vincent Neiger , Olivier Ruatta , Jean-Pierre Tillich

For Arithmetization-Oriented ciphers and hash functions Gr\"obner basis attacks are generally considered as the most competitive attack vector. Unfortunately, the complexity of Gr\"obner basis algorithms is only understood for special…

密码学与安全 · 计算机科学 2024-03-05 Matthias Johann Steiner

We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal…

交换代数 · 数学 2023-07-19 Clemens Hofstadler , Thibaut Verron

As the number of hacking events and cyber threats keeps going up, it is getting harder and harder to communicate securely and keep personal information safe on the Internet. Cryptography is a very important way to deal with these problems…

密码学与安全 · 计算机科学 2023-11-29 Kashif Ishaq , Awais Ahmed Qarni
‹ 上一页 1 2 3 10 下一页 ›