Algebraic attacks using SAT-solvers

Philipp Jovanovic, Martin Kreuzer. Algebraic attacks using SAT-solvers. Groups Complexity Cryptology, 2(2):247-259, 2010. [doi]

Abstract

Abstract is missing.