Jovanovic, Philipp; Kreuzer, Martin Algebraic attacks using SAT-solvers. (English) Zbl 1213.13043 Groups Complex. Cryptol. 2, No. 2, 247-259 (2010). Reviewer: Thomas Kahle (Augsburg) MSC: 13P15 03B35 68W30 94A60 PDFBibTeX XMLCite \textit{P. Jovanovic} and \textit{M. Kreuzer}, Groups Complex. Cryptol. 2, No. 2, 247--259 (2010; Zbl 1213.13043) Full Text: DOI
Kreuzer, Martin Algebraic attacks galore! (English) Zbl 1246.94032 Groups Complex. Cryptol. 1, No. 2, 231-259 (2009). MSC: 94A60 11T71 13P10 PDFBibTeX XMLCite \textit{M. Kreuzer}, Groups Complex. Cryptol. 1, No. 2, 231--259 (2009; Zbl 1246.94032) Full Text: DOI