Guess-and-Determine Algebraic Attack on the Self-Shrinking Generator
The self-shrinking Generator (SSG) was proposed by Meier and Staffelbach at Eurocrypt’94. Two similar guess-and-determine attacks were independently proposed by Hell-Johansson and Zhang-Feng in 2006, and give the best time/data tradeoff on this cipher so far. These attacks do not depend on the Hamming weight of the feedback polynomial (defining the LFSR in SSG).
In this paper we propose a new attack strategy against SSG, when the Hamming weight is at most 5. For this case we obtain a better tradeoff than all previously known attacks (including Hell-Johansson and Zhang-Feng). Our main idea consists in guessing some information about the internal bitstream of the SSG, and expressing this information by a system of polynomial equations in the still unknown key bits. From a practical point of view, we show that using a SAT solver, such as MiniSAT, is the best way of solving this polynomial system.
Since Meier and Staffelbach original paper, avoiding low Hamming weight feedback polynomials has been a widely believed principle. However this rule did not materialize in previous recent attacks. With the new attacks described in this paper, we show explicitly that this principle remains true.
Keywordsstream cipher guess-and-determine attacks multivariate quadratic equations SAT solver self-shrinking generator algebraic cryptanalysis
- 1.Bard, G.: Algorithms for Solving Linear and Polynomial Systems of Equations over Finite Fields, with Applications to Cryptanalysis. Ph.D. Dissertation, University of Maryland (2007)Google Scholar
- 2.Bard, G.V., Courtois, N.T., Jefferson, C.: Efficient Methods for Conversion and Solution of Sparse Systems of Low-Degree Multivariate Polynomials over GF(2) via SAT-Solvers (2007), http://eprint.iacr.org/024
- 3.Bard, G.V., Courtois, N.T.: Algebraic and Slide Attacks on KeeLoq. In: Preproceedings of FSE 2008, pp. 89-104 (2008)Google Scholar
- 4.Coppersmith, D., Krawczyk, H., Mansour, Y.: The Shrinking Generator. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol. 773, pp. 22–39. Springer, Heidelberg (1994)Google Scholar
- 7.Faugère, J.-C.: A new efficient algorithm for computing Gröbner bases without reduction to zero (F5). In: Workshop on Applications of Commutative Algebra, Catania, Italy. ACM Press, New York (2002)Google Scholar
- 10.Krawczyk, H.: Practical Aspects of the Shrinking Generator. In: Anderson, R. (ed.) FSE 1993. LNCS, vol. 809, pp. 45–46. Springer, Heidelberg (1994)Google Scholar
- 11.McDonald, C., Charnes, C., Pieprzyk, J.: Attacking Bivium with MiniS, AT (2007), http://eprint.iacr.org/2007/040