MPRI: Solutions of exercises

These are possible solutions, there are other correct solutions.

Exercise 1

  1. Question 1: IND-CPA
  2. Question 2: IND-CCA2
  3. Question 3: INT-CTXT
  4. Question 4: IND-CPA, IND-CCA2 INT-CTXT

Exercise 2

  1. CryptoVerif model

Exercise 3

  1. Question 1
  2. Question 2

Exercise 4

  1. Question 1
  2. Question 2