CPSC 418 / MATH 318 — Introduction to Cryptography ASSIGNMENT 2 (北美程序代写,加拿大程序代写,University of Calgary代写)

Arithmetic in the AES MixColumns operation

联系我们
微信: biyeprodaixie 欢迎联系咨询

本次CS代写的主要涉及如下领域: 北美程序代写,加拿大程序代写,University of Calgary代写

 

Prior to submission, be sure to familiarize yourself with the Policies and Guidelines as well as

the Speciftcations and Submission Procedure as detailed on the assignments course webpage

http://people.ucalgary.ca/~rscheidl/418/assignments.html.

Assignments that don’t follow these instructions will incur penalties, possibly even a score of zero.

Total marks: 100 + 10 bonus marks

Due: Wednesday, Mar. 11, 2020 at 11:55 PM

 
   

CPSC 418 / MATH 318 — Introduction to Cryptography ASSIGNMENT 2

 

Written Problems for CPSC 418 and MATH 318

Problem 1 — Arithmetic in the AES MixColumns operation (22 marks)

Recall that the MixColumns operation in AES performs arithmetic on 4-byte vectors using the polynomial M (y) = y4 + 1.  In this arithmetic, we have M (y) = 0, so y4 = 1.

 

  1. In this part of the problem, we consider multiplication of 4-byte vectors (viewed as polyno- mials of degree ≤ 3 whose coefficients are bytes) by powers of y.
    1. (2 marks) Formally prove  that in this arithmetic,  multiplication of any  4-byte vector  by y is a circular left shift of the vector by one byte.
    2. (2 marks) Prove that in this arithmetic, yi = yj for any integer i ≥ 0, where j i

(mod 4) with 0 ≤ j ≤ 3.

    1. (4 marks) Use part (a) (ii) to formally prove that multiplication of any 4-byte vector by yi (i ≥ 0) is a circular left shift of the vector by j bytes, where j i (mod 4) with 0 ≤ j ≤ 3.
  1. Next, we consider arithmetic involving the coefficients of the polynomial

c(y) = (03)y3 + (01)y2 + (01)y + (02) ,

that appears in MixColumns, where the coefficients of c(y) are bytes written in hexadeci- mal (i.e. base 16) notation.  Arithmetic involving this polynomial requires the computation of  products  involving  the  bytes  (01),  (02)  and  (03)  in  the  Rijndahl  field  GF(28).   Recall that in this field, arithmetic is done modulo m(x) = x8 + x4 + x3 + x + 1.

    1. (2 marks) Write the bytes (01), (02), (03) as their respective polynomial representatives

c1(x), c2(x) and c3(x) in the Rijndahl field GF(28).

    1.  

8

(4 marks) Let b = (b7 b6 · · · b1 b0) be any  byte,  and  let  = (02)b be the  product  of the  bytes (02) and in the Rijndahl field GF(2  ).  Then  is again a byte of the  form      d = (d7 d6 · · · d1 d0).  Provide symbolic expressions for the bits di, 0 ≤ i ≤ 7, in terms  of the bits bi of b.
    1. (3 marks) Provide analogous expressions as in part (b) (ii)  for  the  byte  product  e = (03)b, where b = (b7 b6 · · · b1 b0) is any byte.
  1. The MixColumns operation performs multiplication of 4-byte vectors by the polyno- mial c(y) of part (b). In this part of the problem, you will evaluate such products symbol- ically.
 
    1. (3 marks) Let s(y) = s3y3 +s2y2 +s1y +s0 be a polynomial whose coefficients are bytes. Symbolically compute the product t(y) = s(y)c(y) mod y4 + 1. The result should be a polynomial of the form t(y) = t3y3 +t2y2 +t1y +t0 where t3, t2, t1, t0 are bytes. Provide symbolic expressions for the bytes ti, 0 ≤ i ≤ 3, in terms of the bytes si. The equations should consist of sums of byte products of the form 01si, 02si, 03si, 0 ≤ i ≤ 3.  You   need not compute these individual byte products as you did in part (b).
    2. (2 marks) Write your solution of part (c) (i) in matrix form; i.e. give a 4 × 4 matrix C

whose entries are bytes such that

 

t1

s1

       
   
 

 

t0          s0  

 = C        

 

t2

t3

                 

s2

s3

 

 

Note that this yields the matrix representation of MixColumns presented (without proof) in class.

 

Problem 2 — Error propagation in block cipher modes (12 marks)

Error propagation is often an important consideration when choosing a mode of operation in practice. In this problem, you will analyze the error propagation properties of an arbitrary block cipher in various such modes; note that these properties are independent of the cipher used.

 

  1. Suppose Alice wants to send a sequence of message blocks M0, M1, M2, . . . to Bob, encrypted to ciphertext blocks C0, C1, C2, . . . using some fixed key K. Assume that an error occurs during transmission of a particular block of ciphertext Ci. Justifying all your answers, ex- plain which plaintext blocks are affected after Bob decrypts this (faulty) ciphertext block Ci when the cipher is used in
    1. (2 marks) ECB mode?
    2. (2 marks) CBC mode?
    3. (2 marks) OFB mode?
    4. (2 marks) CFB mode with one register?
    5. (2 marks) CTR mode?
  2. (2 marks) Suppose now that an error occurs in a particular plaintext block Mi before Alice encrypts it and sends the corresponding ciphertext Ci  to Bob.  Upon decryption of Ci, which plaintext blocks Mj are affected when using the cipher in CBC mode?

 

Problem 3 — Binary exponentiation (13 marks)

Recall the exponentiation algorithm given in class for evaluating an (mod m) (a ∈ Z, m, n ∈ N):

  1. Compute the binary representation of n:

n = b02k + b12k−1 + · · · + bk−12 + bk ,

with b0 = 1, bi ∈ {0, 1} for 1 ≤ i k, and k = |log2 n.

 
  1.  

.

Initialize r0      a (mod m).

 

r

i

2
  1. For 0 ≤ i k − 1 compute ri+1 =

 

 

i

 

 

 

(mod m)      if bi+1 = 0 ,

 

  1. Output rk.
 

r2a (mod m)    if bi+1 = 1 .

 

 

  1. (3 marks) To warm up with a toy example, compute 1711 (mod 77) using the procedure  above; answers that don’t use the binary exponentiation algorithm will receive no credit, even if they are correct. Show all your work, and write down all your intermediate quanti- ties bi and ri. Your answer should be an integer between 0 and 76.
  2. In this problem, you will formally prove that the binary exponentiation algorithm is correct.
    1. (4 marks) Define s0 = 1 and si+1 = 2si + bi+1 for 0 ≤ i k − 1. Use induction on i to prove that

 

Σ

i

si =       bj2ij     for 0 ≤ i k .

j=0

    1. (4 marks) Let ri, 0 ≤ i k, be defined as in steps 2 and 3 of the exponentiation algorithm. Use induction on i to prove that ri asi (mod m) for 0 ≤ i k.
    2.  

(2 marks) Prove that an      rk (mod m), so the algorithm above does indeed compute

an (mod m) as claimed.

 

Problem 4 — A modified man-in-the-middle attack on Diffie-Hellman (10 marks)

Suppose Alice and Bob wish to generate a shared cryptographic key using the Diffie-Hellman protocol. As usual, they agree on a large prime p and a primitive root g of p.  Suppose also that  p = mq + 1 where q is prime and m is very small (so p − 1 = mq has a large prime factor, as  is generally required). Since g and p are public, it is easy for anyone to deduce m and q; for example by successively trial-dividing p − 1 by m = 2, 4, 6, . . . and running a primality test such as the Fermat test on the quotient q = (p − 1)/m until primality of q is established.

Suppose an active attacker Mallory1 intercepts ga (mod p) from Alice and gb (mod p) from Bob. She sends (ga)q (mod p) to Bob and (gb)q (mod p) to Alice.

  1. (2 marks) Show that Alice and Bob compute the same shared key K under this attack.
  2. (4 marks) Show that there are m possible values for K, and that Mallory can compute them all and hence easily guess the correct key K among them.
  3. (4 marks) What is the advantage  of this variation of the man-in-the-middle attack over       the version we discussed in class? Recall that for the attack from class, Mallory simply suppresses the messages ga (mod p) and gb (mod p) between Alice and Bob and replaces them with her own number ge (mod p), which results in the shared key gae (mod p) between Mallory and Alice and the shared key gbe (mod p) between Mallory and Bob.

 

 

 

 

1This is a standard name for active attackers and is meant to be reminiscent of the word “malicious”.

 

Problem 5 — A simplified password-based key agreement protocol (8 marks)

The following is a simplified (and hence problematic) version of the key generation phase of the password-based key agreement protocol that you are being asked to implement in Problem 9 (the programming problem). Here, a client first performs a one-time registration of their authen- tication credentials with a server. These credentials can then be used to generate authenticated session keys between server and client via communication over an insecure channel.

All participants agree on a large public prime2 N = 2q + 1, with q prime, and a public primitive root g of N . Each client has their own password p. To register with the server, a client computes v gp (mod N ) and provides the server with the pair (I, v) where I is the client’s user id.3

 

Protocol:

  1. Client generates a random value a with 0 ≤ a N − 1, computes A ga (mod N ), and sends (I, A) to server, where I is the Client’s user id.

Server generates a random value b with 0 ≤ b N − 1, computes B gb (mod N ), and sends B to client.

  1. Client computes Kclient ≡ Ba+p (mod N ).

Server retrieves client’s authentication data (I, v) and computes Kserver ≡ (Av)b (mod N ).

Note that this protocol is similar to Diffie-Hellman, except that the client’s password p and authentication credential v are incorporated in the key computation.

 

  1. [2 marks] Prove that Client and Server have a shared key after executing this protocol, i.e. prove that Kserver = Kclient.
  2. [3 marks] Suppose an adversary Mallory obtains client Ian’s authentication data (I, v) (by intercepting Ian’s transmission to the server upon his registration or by hacking into the server’s database). Show how Mallory can masquerade as Ian, i.e. execute the protocol with the server (using a value A of her choice) and generate a valid key Kclient that the server believes is shared with Ian.
  3. [3 marks] Consider the following two problems:
    • Key Recovery Problem: Given any values A ga (mod N ) and B gb (mod N ) and any v ∈ Z∗N , find a key K produced by the protocol above.
    • Diffie-Hellman Problem: Given any values A ga (mod N ) and B gb (mod N ), find a Diffie-Hellman key K gab (mod N ).


Note that the exponents a and b are assumed to be unknown for both these problems. Show how an attacker Mallory who can solve any instance of the key recovery problem can solve any instance of the Diffie-Hellman problem. (So informally, breaking the key agreement protocol above is at least as hard as breaking Diffie-Hellman.)

2We denote this prime by N , rather than p, because the letter p is reserved for the client’s password.

3In practice, this needs to be done in a secure and tamper-proof manner. Also, in the computation of v, the client would use a hash of their password p rather than just p. For details, see the protocol description in Problem 9.

 

Written  Problems for MATH  318 only

 

Problem 6 — Primitive roots for safe primes (6 marks)

 

Let q 3 be a prime such that p = 2q + 1 is also prime. Let be any primitive root of p.  Prove that with the exception of gq (mod p), all the odd powers of g (i.e. g, g3 (mod p), g5 (mod p), . . . , gp−2 (mod p)), are primitive roots of p.

(Hint: the following fact about divisibility, which you may use  without  proof,  might  come  in handy: for any three nonzero integers a, b, c, if a is a divisor of the product bc and gcd(a, b) = 1, then a is a divisor of c.)

 

Problem 7 — Discrete logarithms with respect to different primitive roots (8 marks)

Prove that the difficulty of the discrete logarithm problem is independent of the primitive root. Specifically, for any prime p, assuming that it is computationally feasible to extract discrete logarithms with respect to one primitive root of p, show how one can feasibly extract discrete logarithms with respect to any other primitive root of p.

 

Problem 8 — An algorithm for extracting discrete logarithms (21 marks)

Let p be a large prime and g a fixed primitive root of p.  Let h ∈ Z∗p  be the modular inverse of g, so gh ≡ 1  (mod p).  Let a ∈ Z∗p.  Define the following lists of elements in Z∗p:

yi ahi (mod p), 0 ≤ i m − 1;

zj ≡ (gm)j (mod p), 0 ≤ j k − 1.

Here, m is a positive integer (an as yet unspecified parameter) and k is the smallest integer with

k ≥ (p − 1)/m.

  1. (4 marks) Prove that there exist indices i, j with 0 ≤ i m − 1 and 0 ≤ j k − 1 such that yi = zj.

(Hint: Division with remainder of x by m where x is the (unknown) discrete logarithm of

a with respect to g.)

  1. (4 marks) Consider the following procedure for computing the discrete logarithm of a with respect to g.
    1. Compute the list Y = (y0, y1, . . . , ym−1)
    2. If yi ≡ 1 (mod p) for some i ∈ {0, 1, . . . , m − 1}, then output i and quit.
    3. Compute the list Z = (z0, z1, z2, . . . , ) until an element zj is found that appears in Y.
    4. Upon finding such a match, say zj = yi, output x jm + i (mod p − 1).

Prove that this procedure terminates and outputs the discrete logarithm of a.

  1. (4 marks) Assuming the worst case scenario (i.e. the entire list Z = (z0, z1, . . . , zk−1) needs    to be generated), how many modular multiplication are required to extract  the  discrete  logarithm of a using the procedure  above?  Your  count  should  be  as  accurate  as  possible (i.e. don’t count modular multiplications that aren’t needed). You may assume that the
 

quantities m, k, h and gm (mod p) have been precomputed as they are independent of a. You may also ignore the cost of searching the list Y for an element z ∈ Z.

  1. (4 marks) How should m be chosen to minimize the number of modular multiplication required by the procedure above? Explain your choice.
  2. Let p = 107.
  1. (2 marks) Use the primitive root test from class to verify that  2 is  a primitive root of p. Show your work.
  2. (3 marks) Use the procedure from part (b) and your choice of m from part (d) to compute the discrete logarithm of 6 with respect to 2 in Z∗107.  Show your work.  You may want to verify that your final answer is correct.

 

Programming Problem for CPSC 418 only

 

Problem 9 — A secure password based authentication and key exchange protocol (35 marks)

Overview. This problem considers the full, secure version of the password-based key agreement protocol introduced in Problem 5. This protocol, executed by  Client and a Server,  allows  the Client to demonstrate to the Server knowledge of a password, but neither the password nor any other information that could be used to derive the password need to be transmitted. Additionally, the Server does not store password-equivalent data, so someone who intercepts authentication data or steals them from the Server’s database is unable to masquerade as the Client without brute-forcing the Client’s password.

Initialization. The following quantities are public system parameters:

  • A safe prime N = 2q + 1, where q is a prime;
  • A primitive root g of N ;
  • A fixed cryptographically secure hash function H : {0, 1}∗ → Z∗N ;
  • The quantity k = H(N ||g) (where, as always, “||” denotes concatenation).

Registration. To register with the Server, a Client with user id I and password p performs the following steps:

  1. Generates a salt  s (a small random  number);
  2. Computes x = H(s||p) and v gx (mod N );
  3. Transmits the authenticated triple (I, s, v) securely to the Server for storage (note that this authentication and secure transmission are not covered by the protocol);
  4. Disposes of x.

Protocol. To generate and verify a shared authenticated session key, the Server and Client perform the following steps:

  1. Client generates a random value a with 0 ≤ a N − 1, computes A ga (mod N ), and sends (I, A), where I is the Client’s user id.

Server generates a random value b with 0 ≤ b N − 1, computes B kv + gb (mod N ),  and sends (s, B), where s is the Client’s salt.

 
  1. Both compute u H(A||B) (mod N ).
  2. Client computes Kclient ≡ (B kv)a+ux (mod N ). Server computes Kserver ≡ (Avu)b (mod N ).
  3. Client computes and sends M1 = H(A||B||Kclient).
  4. Server computes H(A||B||Kserver) and compares the result to M1. If they match, output a string indicating success; otherwise, abort.
  5. Server computes and sends M2 = H(A||M1||Kserver).
  6. Client computes H(A||M1||Kclient) and compares the result to M2.  If they match, output        a string indicating success; otherwise, abort.

 

Steps 1-3 generate the authenticated key shared between the Client and the Server. Steps 4-7 verify that both parties have  computed the same shared key. If executed honestly,  Kclient  and   Kserver are equal and the Server and Client were able to authenticate each other and establish a shared session key.

Problem. Your task is to implement the password-based key agreement protocol above in Python 3. Your program should consist of two modules, a Client and a Server, which communi- cate via a socket connection. All messages over the socket should be echoed to standard output by both the sending and receiving party. Each echoed message should clearly indicate its sender and intended receiver.

Use the implementation of SHA-256 from the Python cryptography library for your hash func- tion. All other protocol steps should be implemented by yourself, although you may make use of other libraries in your code. A mathematical library like sympy may be useful for handling prime numbers.

Speciftcations. Design and implement your solution as two Python 3 programs entitled Client and Server, invoked by the respective commands

 

python3 Client.py         and        python3 Server.py

 

The Server program performs initialization as follows:

  1. Generates a random 512-bit safe prime by first  generating  a  511-bit  random  prime  and then checking whether N = 2q + 1 is prime.  If it  isn’t,  generate a  new prime  q and try  again until a valid N is found.
  2. Finds a primitive root g of N .
  3. Establishes a socket connection to the Client and sends (N, g) to the Client via this socket connection.

The Client program performs registration as follows:

  1. Prompts user for a username I and a password p.
  2. Generates a random 16-byte salt s and computes the value v as described in step 2 of the registration phase.

  3. Sends the triple (I, s, v) to the Server via socket connection.4

4You may assume that the registration is done in a secure and authenticated manner for this exercise.

 

In addition, you must adhere to the following specifications for parameter generation and hash- ing:

  • Generate all random numbers using a secure random number generator.
  • Ensure that 0 ≤ a, b N − 2.
  • Use the implementation of SHA-256 from cryptography.hazmat.primitives import hashes

as your hash function.

Submission.  Submit a description of your implementation in a separate README file in  text format. Do not include the written portion of the programming problem in the PDF file containing your solutions to the written problems. Your description must include the following:

  • A short argument and citation for the security of the random number generator you used.
  • The procedures you used for generating your prime N and your primitive root g of N .
  • A list of the files you have submitted that pertain to the problem, and a short description of each file.
  • A list of what is implemented in the event that you are submitting a partial solution, or a statement that the problem is solved in full.
  • A list of what is not implemented in the event that you are submitting a partial solution.
  • A list of known bugs, or a statement that there are no known bugs.

 

Bonus Problem for CPSC 418 and MATH 318

 

Problem 10 — Playfair cipher cryptanalysis, 10 marks

Decrypt the following ciphertext that was encrypted using a Playfair cipher. You will need to research on our own how this cipher works since we did not discuss it in class. Show all your work; including a description of any software you used and what you used it for in case you did any programming for your solution. If you wish to submit source code, please include it as text at the end of the PDF file containing your answers to the written problems. Answers without satisfactory explanation and documentation of how they were obtained will receive no credit. Neither will answers obtained by simply running Playfair decryption from an online  crypto applet or website on the ciphertext.

A text file containing the ciphertext can be downloaded from the “assignments” page.

Hint: the letter “J” is omitted from the alphabet to obtain the required 5 × 5 key square.

DBFNE XTZMF TOVBQ BQTOB XAOFP RTZEQ RHQKQ VDXOK ABPRQ IELTV KEEXX SFSBP WDBOB YBFRO EABOR HQKQV TXGUE LABTH TRXNO NEAAY XHBOH NEXBS HRQBZ MSEXP HFGZU GKCBD POEAA YXHBO XPHFK RQIAB PRQIE LBXFZ BISEF XPBRA PRQIW CBRXD YGTBQ TEAAY XHBOH NEXBS HRQBP RQIEL BXBTH BQBNF SISEB XNUXP BURBX BQROX BATBR HBPWD RPROG UGXQR SEZYO XBAEL AXCWB YBASX RKROP RHBOP BDPIC NOXEM RPKRX TELAX CWEQF ZSXEL RHROP RHBUX DASEX NZNGU ELBXF SDGDB TBZLV ERHBO RQ