Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath
type: Item
instance of: scholarly article
title: Boolean polynomials, BDDs and CRHS equations -- connecting the dots with CryptaPath
zbMATH Open document ID: 1485.94094
DOI: 10.1007/978-3-030-81652-0_9
author: John Petter Indrøy
author: Nicolas Costes
author: Håvard Raddum
publication date: 2022-03-25T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 11T71
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7498222
zbMATH Keywords: algebraic cryptanalysis
zbMATH Keywords: binary decision diagram
zbMATH Keywords: equation system
zbMATH Keywords: block cipher
zbMATH Keywords: tool
zbMATH Keywords: open source
describes a project that uses: Sylvan
describes a project that uses: CUDD
describes a project that uses: dd
describes a project that uses: ADD-Lib
describes a project that uses: MARVELlous
describes a project that uses: PolyBoRi
describes a project that uses: BuDDy
describes a project that uses: GitHub
MaRDI profile type: Publication
full work available at URL: 978-3-030-81652-0 9
OpenAlex ID: W3186573290
cites work: Ciphers for MPC and FHE
cites work: Algebraic cryptanalysis of STARK-friendly designs: application to MARVELlous and MiMC
cites work: On the Complexity of Some Ordering Problems
cites work: Polybori: A framework for Gröbner-basis computations with Boolean polynomials
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Algebraic Cryptanalysis of the Data Encryption Standard
cites work: A new efficient algorithm for computing Gröbner bases \((F_4)\)
cites work: Q4660688
cites work: Q4198056
cites work: Influence of addition modulo \(2^n\) on algebraic attacks
cites work: Q4737247
cites work: Troika: a ternary cryptographic hash function
cites work: Applications of SAT Solvers to Cryptanalysis of Hash Functions
cites work: Provable security against a differential attack
cites work: Algebraic Attacks Using Binary Decision Diagrams
cites work: Solving multiple right hand sides linear equations
cites work: Analysis of Trivium Using Compressed Right Hand Side Equations
cites work: Solving Compressed Right Hand Side Equation Systems with Linear Absorption
cites work: Extended BDD-Based Cryptanalysis of Keystream Generators
description: scientific article; zbMATH DE number 7498222