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

Revisions

  1. Solution
  2. CV files: RSA-OAEP CPA RSA-OAEP CCA2 Denning-Sacco