Algebraic attacks using SAT-solvers
From MaRDI portal
Publication:3085997
DOI10.1515/GCC.2010.016zbMath1213.13043MaRDI QIDQ3085997
Philipp Jovanovic, Martin Kreuzer
Publication date: 1 April 2011
Published in: Groups – Complexity – Cryptology (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Cryptography (94A60) Mechanization of proofs and logical operations (03B35) Solving polynomial systems; resultants (13P15)
Related Items (2)
On conversions from CNF to ANF ⋮ Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages
Cites Work
This page was built for publication: Algebraic attacks using SAT-solvers