MPRI - Cryptologie

---

---

• MPRI
• Protocoles cryptographiques : preuves formelles et calculatoires

8 décembre 2010	Les preuves de sécurité dans le modèle calculatoire
15 décembre 2010	Preuves par jeux et Chiffrement
5 janvier 2011	Signatures
2 février 2011	Protocoles
23 février 2011	Révisions : Cryptographie à base de couplages
Quelques exercices...	(2) - Quelques réductions (1) - Preuves Zero-Knowledge (3) - (Chiffrement) Schémas de chiffrement (4) - (Chiffrement) Chiffrement asymétrique IND-CCA (5) - (Chiffrement) OAEP : Optimal Asymmetric Encryption Padding (6) - (Chiffrement) Dependent-RSA (8) - (Chiffrement) et Preuves Zero-Knowledge : Double ElGamal (10) - (Chiffrement) Anonymat (10) - (Chiffrement) Chiffrement Linéaire (9) - (Chiffrement et Signature) et les couplages (7) - (Signature) Signature GHR