Cryptographie: théorie et applications (IFT6180)

Hiver 2012

Professeur: Louis Salvail

LITQ, DIRO, Université de Montréal, Montréal, Québec



Plan/Description

Le plan du cours IFT6180 est accessible ici:

Horaire

Les cours ont lieu les mardi et mercredi comme indiqué ci-bas: Le premier cours aura lieu le mardi 10 janvier 2012.

Devoirs

  • Devoir 1: A remettre le mercredi 1 Février 2012, 11:30AM.
    • Résolvez les exercices suivants:
      1. 2.7 & 2.8
      2. 3.3
      3. 3.4
      4. 3.5
      5. 3.6.
      6. Montrez que la construction de la section 3.4.2 (Chiffre pour des messages de longueur variable à partir de GPA à sortie de longueur variable) satisfait le Définition 3.8
  • Devoir 2: A remettre le mardi 21 Février 2012, 11:30AM.
    • Résolvez les exercices suivants:
      1. 3.7
      2. 3.10
      3. 3.21
      4. 4.4
      5. 4.5.
  • Devoir 3: A remettre le Mercredi 14 Mars 2012, 11:30AM.
    • Résolvez les exercices suivants:
      1. 4.14
      2. 4.19
      3. 7.13
      4. 7.14
      5. 7.16
  • Devoir 4:
    • Résolvez les exercices du livre suivants:
      • 7.21
      • 9.1
      • 9.3
      • 10.12
  • -->

Notes

Voici les sujets traités à mesure que le semestre progresse:

  • Semaine 1: Correspond à l'introduction du livre du cours.
  • Semaine 2:
    • Chiffrement parfaitement sûr. Chapitre 2 sections 2.1-2.3 inclusivement.
    • Chiffrement à clé secrète, l'approche calculatoire. Chapitre 3, sections 3.1-3.2 sauf 3.2.2.
  • Semaine 3: Génération pseudo-aléatoire. Chapitre 3, sections 3.3-3.5 (excl.).
  • Semaine 4: Chapitre 3, fin du chapitre 3. Chiffres CPA-surs bases sur les FPA. Les modes d'operation pour les chiffres par bloc. La securite CCA.
  • Semaine 5:Début de l'authentification de messages (4-4.6.3). CAM base sur sur les FPA, CBC-MAC et variantes. Les fonctions resistantes aux collisions.
  • Semaine 5: Authentification de messages. Chapitre 4 sections 4.1-4.8 inclusivement. (vous devriez lire la section 4.9 aussi).
  • Semaine 6: Constructions pratiques de permutations pseudo-aléatoires. Chapitre 5 sections 5-5.6 exclusivement. (vous pouvez lire la section 5.6 aussi). Voici les transparents.
  • Semaine 7: Théorie des nombres et hypothèses cryptographiques.Chapitre 7, toutes les sections sauf 7.1.5,7.2.2 et 7.3.4.

Liens utiles

  • Une liste d'errata pour le livre du cours.

Examen Final

Choisissez un sujet parmi les suivants. Vous aurez sans doute à lire plus d'un papier pour comprendre le sujet. Certains sujets ont plus d'une références dans la liste qui suit. La présentation devra durer au plus 25 minutes avec 5 minutes de discussion. Sélectionnez une sous-liste qui vous intéresse et allez lire les résumés sur l'internet. Donnez-moi vos 3 choix en ordre descendant de préférence. Faites vos choix le plus rapidement possible.....
  1. S. Rudich, The use of interaction in public cryptosysytems. In Advances in Cryptology:CRYPTO'91, Lecture Notes in Computer Science, Springer, pp. 242-251, 1991.
  2. R. Impagliazzo and S. Rudich. Limits on the provable consequences of one-way permutations. Proceedings of the 21st ACM Symposium on the Theory of Computing, 1989.
  3. R. Cramer and V. Shoup. A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack. In Advances in Cryptology: CRYPTO'98, Lecture Notes in Computer Science, 1998.
  4. M. Naor et M. Yung, Public-key cryptosystems provably secure against chosen ciphertext attacks, Proceedings of the 20th annual ACM symposium on Theory of computing, STOC'90, Vol. 369, ACM Press, pp. 427-437, 1990.
  5. P. Paillier, Public-Key Cryptosystems Based on Composite Degree Residuosity Classes. Advances in Cryptology: EUROCRYPT'99. Lecture Notes in Computer Science, Springer, pp. 223-238. 1999.
  6. U. Maurer, Torwards the Equivalence of Breaking the Diffie-Hellman Protocol and Computing Discrete Logarithms, Advances in Cryptology:CRYPTO'94, Lecture Notes in Computer Science, Vol.839, Springer, pp.271-281, 1994 et U. Maurer et S. Wolf, The Relationship Between Breaking the Diffie-Hellman Protocol and Computing Discrete Logarithms, SIAM Journal on Computing, Vol. 28, Num. 5, Society for Industrial and Applied Mathematics, p.1689, 1999.
  7. D. R. Simon, Finding Collisions on a One-Way Street: Can Secure Hash Functions Be Based on General Assumptions?, Advances in Cryptology: EUROCRYPT'98, Lecture Notes in Computer Science, Springer, pp.334~345, 1998.
  8. J. Vandewalle, R. Govaerts et B. Preneel, Hash functions based on block ciphers: a synthetic approach, Advances in Cryptology: CRYPTO'93, Douglas R. Stinson, editor, Lecture Notes in Computer Science, vol. 773, Springer, pp. 368--378, 1994.
  9. D. Boneh et M. Franklin (2001). Identity-based encryption from the Weil pairing, Advances in Cryptology:CRYPTO'01, Lecture Notes in Computer Science, Springer, pp. 213-229, 2001.
  10. M. Luby and C. Rackoff, How to construct pseudorandom permutations from pseudorandom functions, SIAM Journal on Computing, vol. 17, no 2, pp. 373--386, April 1988.
  11. M. Naor and O. Reingold, On the construction of pseudo-random permutations: Luby-Rackoff revisited, Journal of Cryptology, Springer, vol. 12, 1999.
  12. U. Maurer, Y. A. Oswald, K. Pietrzak et J. Sjoedin Luby-Rackoff Ciphers from Weak Round Functions?, Advances in Cryptology:EUROCRYPT'06, Lecture Notes in Computer Science, Springer, pp. 391-408, 2006.
  13. S. Goldwasser, S. Micali, R. Rivest, A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks, Society for Industrial and Applied Mathematics, 1988.
  14. M. Bellare, S. Miner, A forward-secure digital signature scheme, Lecture Notes in Comptuer Science, Crypto 99, Springer-Verlag, 1999.
  15. L. Blum, M. Blum et M. Shub. A Simple Unpredictable Pseudo-Random Number Generator, SIAM Journal on Computing, vol.15, pp. 364-383,1986 et P. Junod, Cryptographic Secure Pseudo-Random Bits Generation: The Blum-Blum-Shub Generator, 1999.
  16. C. Rackoff et D. R. Simon. Non-Interactive Zero-Knowledge Proof of Knowledge and Chosen Ciphertext Attack, Crypto 91, Lecture Notes in Computer Science, Springer, 576, pp. 433-444, 1992.
  17. U. Maurer, Secret key agreement by public discussion from common information, IEEE Transactions on Information Theory, 1993.
  18. E. Biham, A. Shamir, Differential Cryptanalysis of the Data Encryption Standard, Springer Verlag, 1993 et E. Biham et A. Shamir, Differential Cryptanalysis of DES-like Cryptosystems. Advances in Cryptology, CRYPTO '90. Springer-Verlag. 2-21 et E. Biham et A. Shamir, Differential Cryptanalysis of the Full 16-Round DES, CS 708, Proceedings of CRYPTO '92, Volume 740 of Lecture Notes in Computer Science, December 1991.
Voici votre affectation:
  • Adrien Manikon-Mounoussamy: #6
  • Patrick Baril Robichaud: #18
  • Simon Julien: #7
  • François Lamirande: #15
  • Sylvain Carité: #8
  • Rebecca Lapointe: #3
  • Paul Raymond-Robichaud : #5
  • Yassine Reggoug : #13
  • Olivier Coutu: #2
Écrivez-moi rapidement si cette affectation ne fait pas votre affaire. Si vous ne figurez pas sur la liste alors donnez-moi votre choix au ps.

Horaire de l'examen


Mise-à-jour

Date de la dernière mise à jour est: 03/04/2012.