Pages that link to "Item:Q611072"
From MaRDI portal
The following pages link to A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers (Q611072):
Displaying 23 items.
- Characteristic set algorithms for equation solving in finite fields (Q413410) (← links)
- A criterion for testing whether a difference ideal is prime (Q473046) (← links)
- Solving polynomial systems with noise over \(\mathbb{F}_2\): revisited (Q527403) (← links)
- Implicitization using univariate resultants (Q625672) (← links)
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case (Q630689) (← links)
- Boolean ring cryptographic equation solving (Q832346) (← links)
- Solution of systems of Boolean equations via the integer domain (Q845342) (← links)
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials (Q1030264) (← links)
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems (Q1730301) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition (Q2109980) (← links)
- Chordal graphs in triangular decomposition in top-down style (Q2200301) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- Parametric equation solving and quantifier elimination in finite fields with the characteristic set method (Q2439880) (← links)
- Analyzing Boolean functions via solving parametric polynomial systems (Q2661917) (← links)
- The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings (Q2799559) (← links)
- Solving Trivium-based Boolean equations using the method of syllogisms (Q2883180) (← links)
- Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations (Q2885541) (← links)
- Attacking Bivium and Trivium with the Characteristic Set Method (Q3011904) (← links)
- A New Method for Solving Polynomial Systems with Noise over $\mathbb{F}_2$ and Its Applications in Cold Boot Key Recovery (Q3455484) (← links)
- On the Chordality of Simple Decomposition in Top-Down Style (Q5014670) (← links)
- Computing Switching Surfaces in Optimal Control Based on Triangular Decomposition (Q5175452) (← links)
- An Enhanced Binary Characteristic Set Algorithm and Its Applications to Algebraic Cryptanalysis (Q6487217) (← links)
