International Journal of Information Security

, Volume 9, Issue 2, pp 127–135

Counting equations in algebraic attacks on block ciphers

Authors

    • Department of MathematicsTechnical University of Denmark
  • Charlotte V. Miolane
    • Department of MathematicsTechnical University of Denmark
Regular Contribution

DOI: 10.1007/s10207-009-0099-9

Cite this article as:
Knudsen, L.R. & Miolane, C.V. Int. J. Inf. Secur. (2010) 9: 127. doi:10.1007/s10207-009-0099-9

Abstract

This paper is about counting linearly independent equations for so-called algebraic attacks on block ciphers. The basic idea behind many of these approaches, e.g., XL, is to generate a large set of equations from an initial set of equations by multiplication of existing equations by the variables in the system. One of the most difficult tasks is to determine the exact number of linearly independent equations one obtain in the attacks. In this paper, it is shown that by splitting the equations defined over a block cipher (an SP-network) into two sets, one can determine the exact number of linearly independent equations which can be generated in algebraic attacks within each of these sets of a certain degree. While this does not give us a direct formula for the success of algebraic attacks on block ciphers, it gives some interesting bounds on the number of equations one can obtain from a given block cipher. Our results are applied to the AES and to a variant of the AES, and the exact numbers of linearly independent equations in the two sets that one can generate by multiplication of an initial set of equations are given. Our results also indicate, in a novel way, that the AES is not vulnerable to the algebraic attacks as defined here.

Keywords

Cryptology Block ciphers Algebraic attacks XL AES

Copyright information

© Springer-Verlag 2009