[contact]

Pierre Hyvernat

LAMA

• 
• 
• 
• 

Info201

systèmes d'exploitation

second semestre

Info205

mathématiques pour le numérique

Enseignant responsable : Valentin Gledel

second semestre

Info501

logique et informatique

• TD1 : logique propositionnelle (pdf)

• TD2 : logique du premier ordre (pdf)

---

• TP1 : satisfiabilité

• TP2 : systèmes de preuves, assistants de preuves

• TP3 : initiation à Prolog

---

• The SAT Game (O. Roussel)

---

• examen de l'année 2021 (attention, les règles utilisées étaient légèrement différentes)

• examen de l'année 2021, avec éléments de correction

---

• examen de cette année (attention, les règles utilisées étaient légèrement différentes)

• examen de cette année, avec éléments de correction

Info506

systèmes d'exploitation

Enseignant responsable : Gerald Cavallini

ressources sur Moodle

• lien TPLab pour les rendus de TP

Info601

graphes et algorithmes

second semestre

Info002

cryptologie

• TD0 : quelques exemples avec OpenSSL

  • une clé publique

  • la signature du fichier td0.pdf

• TD1 : cryptologie historique

• TD2 : un peu de probabilité – indice de coïncidence et secret parfait

  • des textes chiffrés avec le "several times pad" (XOR bit à bit avec une clé identique) : c0 c1 c2 c3 c4 (Note : les textes et la clé ne contiennent que des symboles parmi abcdefghijklmnopqrstuvwxyz et l'espace.)

• TD3 : cryptographie symétrique, chiffrements par blocs

  • attaque de Vaudenay (Il faudra installer bottle et pycryptodome, par exemple avec pip install bottle pycryptodome -U.)

• TD4 : hash, MAC

  • collisions naïves

• TD5 : cryptographie asymétrique (chiffrement et signature)

  • une clé RSA factice à factoriser,

  • le script Python qui a généré la clé.

---

• TP0 : cryptanalyse historique : le chiffre de Playfair

• TP1 : compromis temps / mémoire, les tables arc-en-ciel

• TP2 : stéganographie, signature, etc.

---

• Références intéressantes :

  • cryptographie :

    • Cryptography Engineering, N. Ferguson, B. Schneier et T. Kohno (même si le contenu technique n'est plus entièrement d'actualité)

    • Introduction to Modern Cryptography, J. Katz et Y. Lindell (pour les matheux !)

  • sécurité :

    • Security Engineering, R. Anderson (deuxième édition disponible en ligne)

  • société :

    • Secrets & Lies, B. Schneier

  • historique

    • The Codebreakers, D. Kahn

    • The Code Book, S. Singh

    • Les codes secrets décryptés, D. Müller.

      ---

• Référentiel général de sécurité

• Guide des mécanismes cryptographiques

• page de la CNIL sur la cryptographie

Années précédentes

Les supports pour mes enseignements des années précédentes se trouvent ici.

contact

mentions légales

Dernière mise à jours: le 13-11-2024 à 14:32.

,