MPRI: Solutions of exercises
These are possible solutions, there are other correct solutions.
Exercise 1
- Question 1: IND-CPA
- Question 2: IND-CCA2
- Question 3: INT-CTXT
- Question 4: IND-CPA, IND-CCA2 INT-CTXT
Exercise 2
- CryptoVerif model
Exercise 3
- Question 1
- Question 2
Revisions
- Solution
- CV files: RSA-OAEP CPA RSA-OAEP CCA2 Denning-Sacco