Methods to solve algebraic equations in cryptanalysis

In: Tatra Mountains Mathematical Publications, vol. 45, no. 1

Igor Semaev - Michal Mikuš

Detaily:

Rok, strany: 2010, 107 - 136

Kľúčové slová:

equation systems, finite fields, Gr\"{o}bner basis, $k$-SAT, agreeing, gluing, MRHS, cryptanalysis.

O článku:

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\"{o}bner basis algorithms, SAT-solving methods and Agreeing-Gluing algorithms.

Ako citovať:

ISO 690:

Semaev, I., Mikuš, M. 2010. Methods to solve algebraic equations in cryptanalysis. In Tatra Mountains Mathematical Publications, vol. 45, no.1, pp. 107-136. 1210-3195.

APA:

Semaev, I., Mikuš, M. (2010). Methods to solve algebraic equations in cryptanalysis. Tatra Mountains Mathematical Publications, 45(1), 107-136. 1210-3195.