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.
@article{70,
title = {Methods to solve algebraic equations in cryptanalysis},
journal = {Tatra Mountains Mathematical Publications},
volume = {45},
year = {2010},
doi = {10.2478/tatra.v45i0.70},
language = {EN},
url = {http://dml.mathdoc.fr/item/70}
}
Semaev, Igor; Mikuš, Michal. Methods to solve algebraic equations in cryptanalysis. Tatra Mountains Mathematical Publications, Tome 45 (2010) . doi : 10.2478/tatra.v45i0.70. http://gdmltest.u-ga.fr/item/70/