Methods to solve algebraic equations in cryptanalysis

Abstract

The goal of the present paper is a survey of methods to solve equation systems common in cryptanalysis. The methods depend on the equation representation and fall into three categories: Gröbner basis algorithms, SAT-solving methods and Agreeing-Gluing algorithms. © 2010, Versita. All rights reserved.