Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath

DOI10.1007/978-3-030-81652-0_9MaRDI QIDQ832343zbMATH OpenOpenAlexFDO

Authors John Petter Indrøy, Nicolas Costes, Håvard Raddum

Publication date 25 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-81652-0_9

zbMATH Keywords

toolalgebraic cryptanalysisbinary decision diagramblock cipherequation systemopen source

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Cryptography (94A60) Algebraic coding theory; cryptography (number-theoretic aspects) (11T71) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• Solving compressed right hand side equation systems with linear absorption
• scientific article; zbMATH DE number 2127876
• On Boolean ideals and varieties with application to algebraic attacks
• Sparse Boolean equations and circuit lattices
• Algebraic attacks using binary decision diagrams

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• scientific article; zbMATH DE number 2086709 (Why is no real title available?)
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• Algebraic Cryptanalysis of the Data Encryption Standard
• Algebraic attacks using binary decision diagrams
• Algebraic cryptanalysis of STARK-friendly designs: application to MARVELlous and MiMC
• Analysis of Trivium using compressed right hand side equations
• Applications of SAT Solvers to Cryptanalysis of Hash Functions
• Ciphers for MPC and FHE
• Extended BDD-Based Cryptanalysis of Keystream Generators
• Graph-Based Algorithms for Boolean Function Manipulation
• Influence of addition modulo \(2^n\) on algebraic attacks
• On the Complexity of Some Ordering Problems
• Polybori: A framework for Gröbner-basis computations with Boolean polynomials
• Provable security against a differential attack
• Solving compressed right hand side equation systems with linear absorption
• Solving multiple right hand sides linear equations
• Troika: a ternary cryptographic hash function

Cited in

(2)

• Solving compressed right hand side equation systems with linear absorption
• CryptaPath

Describes a project that uses

Uses Software

• PolyBoRi
• CUDD
• BuDDy
• GitHub
• ADD-Lib
• dd
• Sylvan
• MARVELlous

This page was built for publication: Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832343)