Polybori: A framework for Gröbner-basis computations with Boolean polynomials
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1726532 (Why is no real title available?)
- scientific article; zbMATH DE number 2127876 (Why is no real title available?)
- scientific article; zbMATH DE number 3649988 (Why is no real title available?)
- scientific article; zbMATH DE number 3759578 (Why is no real title available?)
- scientific article; zbMATH DE number 1256733 (Why is no real title available?)
- scientific article; zbMATH DE number 1262464 (Why is no real title available?)
- scientific article; zbMATH DE number 1273640 (Why is no real title available?)
- scientific article; zbMATH DE number 217454 (Why is no real title available?)
- scientific article; zbMATH DE number 918600 (Why is no real title available?)
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
- A new efficient algorithm for computing Gröbner bases (F₄)
- Advanced Encryption Standard – AES
- Advances in Cryptology - CRYPTO 2003
- Algebraic attacks on the Courtois toy cipher
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- Converting bases with the Gröbner walk
- Fast Software Encryption
- Graph-Based Algorithms for Boolean Function Manipulation
- Interpolants and Symbolic Model Checking
- New developments in the theory of Gröbner bases and applications to formal verification
- SATLIB: An online resource for research on SAT
- The Magma algebra system. I: The user language
- Theory and Applications of Satisfiability Testing
Cited in
(40)- Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath
- On the Computation of Elimination Ideals of Boolean Polynomial Rings
- An algebraic model for implementing expert systems based on the knowledge of different experts
- Characteristic set algorithms for equation solving in finite fields
- A natural language for implementing algebraically expert systems
- An algebraic approach for detecting nearly dangerous situations in expert systems
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
- A logic-algebraic approach to decision taking in a railway interlocking system
- Boolean ideals and their varieties
- Computing Boolean Gröbner bases within linear algebra
- Gröbner-free normal forms for Boolean polynomials
- On conversions from CNF to ANF
- Polynomial semantics for modal logics
- Gröbner-free normal forms for Boolean polynomials
- On the relation between the MXL family of algorithms and Gröbner basis algorithms
- Mutant differential fault analysis of Trivium MDFA
- On the efficiency of solving Boolean polynomial systems with the characteristic set method
- Representing the integer factorization problem using ordered binary decision diagrams
- PolyBoRi
- CLAASP: a cryptographic library for the automated analysis of symmetric primitives
- Space Complexity in Polynomial Calculus
- New developments in the theory of Gröbner bases and applications to formal verification
- Obtaining and solving systems of equations in key variables only for the small variants of AES
- Model checking in the modal -calculus and generic solutions
- Short Proofs Are Hard to Find
- Conditional Differential Cryptanalysis of Trivium and KATAN
- On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra
- Algebraic attacks galore!
- SAT solving using XOR-OR-AND normal forms.
- Boolean Gröbner bases. Theory, algorithms and applications
- A signature based border basis algorithm
- Optimising Gröbner bases on Bivium
- Slimgb: Gröbner bases with slim polynomials
- Narrow proofs may be maximally long
- Exploiting chordal structure in polynomial ideals: a Gröbner bases approach
- Polynomial calculus for optimization
- Gröbner bases of neural ideals
- Solving non-linear Boolean equation systems by variable elimination
- A white-box speck implementation using self-equivalence encodings
- Boolean Gröbner bases
This page was built for publication: Polybori: A framework for Gröbner-basis computations with Boolean polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1030264)
