CoCalc Shared FilesCrypto_Fall_17 / project_2 / matrix.sagewsOpen in CoCalc with one click!
Author: Kristy Li

Using Sage to crack an LFSR

I will begin with a motivating example in which m=3m=3. I will then describe how to generalize this approach to the situation when m=64m=64.

We know that to solve a degree 3 LFSR from known keystream s0,s1,s2,s3,s4,s5s_0,s_1,s_2,s_3,s_4,s_5, we must solve this system of equations:

p0s0+p1s1+p2s2=s3(mod2)p0s1+p1s2+p2s3=s4(mod2)p0s2+p1s3+p2s4=s5(mod2)\begin{array}{c} p_0 s_0+p_1 s_1 + p_2 s_2 = s_3\, (mod\, 2)\\ p_0 s_1+p_1 s_2 + p_2 s_3 = s_4\, (mod\, 2)\\ p_0 s_2+p_1 s_3 + p_2 s_4 = s_5\, (mod\, 2) \end{array}

In the language of linear algebra, this problem can be translated into matrix form:

Apˉ=xˉA\bar{p} = \bar{x}

where AA is a 3×33\times 3 matrix, pˉ\bar{p} are the unknown taps, and xˉ\bar{x} is the last mm bits of the known key stream.

More explicitly, we need to solve this linear system:

(s0s1s2s1s2s3s2s3s4)(p0p1p2)=(s3s4s5)(mod2)\left(\begin{array}{rrr} s_0 & s_1 & s_2 \\ s_1 & s_2 & s_3 \\ s_2 & s_3 & s_4 \end{array} \right) \left(\begin{array}{rrr} p_0 \\ p_1\\ p_2 \end{array} \right) =\left(\begin{array}{rrr} s_3 \\ s_4\\ s_5 \end{array} \right)\, (mod\, 2)

If you do not find this notation familiar, you may need to spend a few minutes reviewing matrix multiplication.

Sage has built-in libraries for solving these kinds of problems.

The syntax is the following:

M = MatrixSpace(Zmod(2),3,3)
A = M([s0,s1,s2,s1,s2,s3,s2,s3,s4])
x = vector([s3,s4,s5])
p = A.solve_right(x)

We now give an example in the next cell.

""" This is an example of how Sage can solve a system of linear equations modulo 2. Run this cell to see how it works. You can run a cell by putting the cursor in the cell and hitting SHIFT-ENTER. """ #Declare M to be the space of 3x3 matrices mod 2. M = MatrixSpace(Zmod(2),3,3) #Suppose that these are the known keystream bits: s0,s1,s2,s3,s4,s5 = 0, 1, 0, 1, 1, 1 #Let A be this particular matrix: A = M([s0,s1,s2,s1,s2,s3,s2,s3,s4]) x = vector([s3,s4,s5]) print "\n\nHere is A:" print A print "\n Here is x:" print x print "\n Here is the solution (namely p) to the matrix equation Ap=x:" p = A.solve_right(x) print p print "\nCheck that it works:" A*p==x
'\n This is an example of how Sage can solve a system of linear equations modulo 2.\n Run this cell to see how it works.\n You can run a cell by putting the cursor in the cell and hitting SHIFT-ENTER.\n' Here is A: [0 1 0] [1 0 1] [0 1 1] Here is x: (1, 1, 1) Here is the solution (namely p) to the matrix equation Ap=x: (1, 1, 0) Check that it works: True

You can think of the code in the above box as cracking an LFSR with initial state

s0,s1,s2=0,1,0s_0,s_1,s_2= 0, 1, 0

and taps given by

p0,p1,p2=1,1,0p_0,p_1,p_2= 1, 1, 0

The equation solved is exactly the one given in the book for m=3m=3, and 2m=62m=6 bits of known plaintext.

The known 6 bits of the keystream are:

s0,s1,s2,s3,s4,s5 = 0, 1, 0, 1, 1, 1

The code then tells us the taps.

Here we write the state transitions resulting from the taps and the initial state:

Observe that the output,

s0,s1,s2,s3,s4,s5 = 0, 1, 0, 1, 1, 1

is exactly as expected.

This gives good reason to believe that the LFSR will generate the desired keystream.

Note that sage returns the solution (pˉ=(p0,p1,p2)\bar{p} = (p_0,p_1,p_2)) to the equation below with the indexes on the pp's in increasing order.

(s0s1s2s1s2s3s2s3s4)(p0p1p2)=(s3s4s5)(mod2).\left(\begin{array}{rrr} s_0 & s_1 & s_2 \\ s_1 & s_2 & s_3 \\ s_2 & s_3 & s_4 \end{array} \right) \left(\begin{array}{rrr} p_0 \\ p_1\\ p_2 \end{array} \right) =\left(\begin{array}{rrr} s_3 \\ s_4\\ s_5 \end{array} \right)\, (mod\, 2).

However the usual notation for LFSRs would write these in reverse order,

s2,s1,s0=0,1,0s_2,s_1,s_0= 0, 1, 0

and taps given by

p2,p1,p0=0,1,1.p_2,p_1,p_0= 0, 1, 1.

For this reason we will need to reverse the Sage output to make it correspond with the tap input given in the file lfsr.c.

The simple example just given generalizes to solving the problem from Project 2. The only difference is that the degree is now m=64m=64, which is a little bit larger than 3.

In order to solve Project 2 you will need to use a known plaintext attack to recover 2m=1282m=128 bits of keystream,


Once you know these bits, you will need to use Sage to solve the linear system

(s0s1s63s1s2s64s63s64s126)(p0p1p63)=(s64s65s127)(mod2)\left(\begin{array}{rrr} s_0 & s_1 & \ldots & s_{63} \\ s_1 & s_2 & \ldots & s_{64} \\ \vdots & \vdots & \ldots & \vdots \\ s_{63} & s_{64} & \ldots & s_{126} \end{array} \right) \left(\begin{array}{rrr} p_0 \\ p_1\\ \vdots \\ p_{63} \end{array} \right) =\left(\begin{array}{rrr} s_{64} \\ s_{65}\\ \vdots \\ s_{127} \end{array} \right)\, (mod\, 2)

Sage will then solve for the vector (p0,p1,,p63)(p_0,p_1,\ldots,p_{63}). You can then reverse the order of these bits and use them to load into the LFSR. Together with the known initial state (s0,,s63)(s_0,\ldots,s_{63}) you can then generate the keystream and decrypt the ciphertext.

The Sage code you need to do this is provided below. Everything is ready except for the values in the matrix

A=(s0s1s63s1s2s64s63s64s126)A = \left(\begin{array}{rrr} s_0 & s_1 & \ldots & s_{63} \\ s_1 & s_2 & \ldots & s_{64} \\ \vdots & \vdots & \ldots & \vdots \\ s_{63} & s_{64} & \ldots & s_{126} \end{array} \right)

and the vector

x=(s64s65s127) x=\left(\begin{array}{rrr} s_{64} \\ s_{65}\\ \vdots \\ s_{127} \end{array} \right)

If you can provide these, then the Sage code will proceed to solve

Apˉ=xˉA\bar{p} = \bar{x}

and return pˉ=(p0,p1,,p63)\bar{p}=(p_0,p_1,\ldots,p_{63}). As stated above, this bit string will need to be reversed (and converet to hex) in order to feed into lfsr.c.

The Sage code below automatically does that part, so that the hex output can be directly pasted into lfsr.c.

The thing that you must do is to supply the files S.mat.sage and V.mat.sage from which the data is loaded.

Right now these files contain toy data. For example, here is S.mat.sage:

A = matrix(Zmod(2),[[0,1,1],

This plays the role of the m×mm\times m matrix of state bits

A=(s0s1s63s1s2s64s63s64s126).A = \left(\begin{array}{rrr} s_0 & s_1 & \ldots & s_{63} \\ s_1 & s_2 & \ldots & s_{64} \\ \vdots & \vdots & \ldots & \vdots \\ s_{63} & s_{64} & \ldots & s_{126} \end{array} \right).

Here is V.mat.sage:

x = vector(Zmod(2),[0,1,0])

This plays the role of the known state bits

x=(s64s65s127). x=\left(\begin{array}{rrr} s_{64} \\ s_{65}\\ \vdots \\ s_{127} \end{array} \right).

The problem is that right now they are too small, and contain irrelevant data.

You must fill them up with real data pertinent to the problem posed in Project 2.

Because this would require a major amount of typing (mostly to produce the 64×6464\times 64 matrix, which has 4096 entries), you will want to use computer code to make the files S.mat.sage and V.mat.sage.

The outline of the code for doing this is provided for you in this function in lfsr.c:

void shape_keystream()
/* This function opens the file "key_stream.txt" created by
   get_128_keystream_bits().  It uses this data to create a file called
   "S.mat.sage" which is a 64x64 matrix of keystream bits of the form
    discussed in the project description. It also creates a vector
    (a 64x1 matrix) of keystream bits of the form described in the
    project description.  This is stored in a file called "V.mat.sage" */

      //See the file matrix.sagews for examples of what the output should look like.

  /*You implement this*/


You can then run the Sage coded provided below, and you will then have the taps for the target LFSR.

load("S.mat.sage") #loads the matrix A load("V.mat.sage") #loads the vector x P=A.solve_left(x) #solves for p as a list of numbers eg (0,1,0,...,1,1) P=list(reversed(P))#reverse the list eg (1,1, ..., 0,1,0) Pstr = map(str,P) #convert the list of numbers to a list of strings eg ('1','1',...,'0','1','0') pis = "".join(Pstr)#concatenate the strings to make a bit sequence in string form, eg "11...010" P_num = int(pis,2) #turn this bitstring into an integer, eg 100 hex(P_num) #print the integer in hex format, eg 0x64

When S.mat.sage and V.mat.sage contain the right data for the problem, the hex output from the previous cell can be pasted into the taps variable in lfsr.c to produce the keystream.

This keystream can then be used to decrypt the target.