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)
68W30: Symbolic computation and algebraic computation
94A60: Cryptography
03B35: Mechanization of proofs and logical operations
13P15: Solving polynomial systems; resultants
Related Items
Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages, On conversions from CNF to ANF
Cites Work