An enhanced binary characteristic set algorithm and its applications to algebraic cryptanalysis

Recommendations

A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
On the efficiency of solving Boolean polynomial systems with the characteristic set method
On Boolean ideals and varieties with application to algebraic attacks
A step-by-step CS method and its applications in cryptanalysis of stream ciphers
Algebraic Attacks Using IP-Solvers

Cites work

scientific article; zbMATH DE number 108068 (Why is no real title available?)
scientific article; zbMATH DE number 1962148 (Why is no real title available?)
scientific article; zbMATH DE number 2009966 (Why is no real title available?)
scientific article; zbMATH DE number 2151220 (Why is no real title available?)
scientific article; zbMATH DE number 1418284 (Why is no real title available?)
A Practical Attack on KeeLoq
A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
A new efficient algorithm for computing Gröbner bases (F₄)
Advances in Cryptology – CRYPTO 2004
Algebraic Cryptanalysis of the Data Encryption Standard
An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
Cryptanalysis of Block Ciphers with Overdefined Systems of Equations
Cryptanalytic time-memory-data tradeoffs for FX-constructions with applications to PRINCE and PRIDE
Efficient algorithms for solving overdefined systems of multivariate polynomial equations
Efficient computation of zero-dimensional Gröbner bases by change of ordering
ElimLin algorithm revisited
Extensions of the Cube Attack Based on Low Degree Annihilators
Hidden fields equations (HFE) and isomorphisms of polynomials (IP): two new families of asymmetric algorithms
Linear (Hull) and Algebraic Cryptanalysis of the Block Cipher PRESENT
Meet-in-the-middle attacks and structural analysis of round-reduced PRINCE
Multiple differential cryptanalysis of round-reduced \textsc{PRINCE}
On the theories of triangular sets
PRESENT: An Ultra-Lightweight Block Cipher
PRINCE -- a low-latency block cipher for pervasive computing applications. Extended abstract
Security analysis of \textsc{Prince}
Selected Areas in Cryptography
Sieve-in-the-middle: improved MITM attacks

Cited in

(5)

Integrating algebraic and SAT solvers
A step-by-step CS method and its applications in cryptanalysis of stream ciphers
A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
On the efficiency of solving Boolean polynomial systems with the characteristic set method
On Boolean ideals and varieties with application to algebraic attacks

This page was built for publication: An enhanced binary characteristic set algorithm and its applications to algebraic cryptanalysis

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