Enseignement 2021 -- 2022

Info201 :systèmes d'exploitation

• TD1 : architecture (pdf)
• TD2 : système d'exploitation et shell (pdf)
• TD3 : système d'exploitation et fichiers (pdf)
• TD4 : processus (pdf)
  • le programme Python donné à la fin du TD, pour ceux qui veulent tester : concurrent_update.py

• TP1 : Linux, machine virtuelle
• TP2 : Linux, initiation au shell
  • liste et description des concepts et commandes du shell utilisés en TP
• TP3 : programmation shell
• TP4 : scripts shell, mini projets
• TP5 : fichiers

Info501 : logique et informatique

• TD1 : logique propositionnelle (pdf)
• TD2 : logique du premier ordre (pdf)

• TP1 : satisfiabilité
• TP2 : initiation à Prolog
• TP3 : systèmes de preuves, assistants de preuves

Info502 : théorie des langages

Enseignant responsable : François Boussion

Info506 : systèmes d'exploitation

Enseignant responsable : Gerald Cavallini

Info602 : mathématiques pour l'informatique

• td1 : codes correcteurs d'erreurs
• td2 : générateurs aléatoires
• td3 : cryptographie

• TP1 : code de Golay (lien)
• TP2 : craquer les générateurs aléatoires linéaires (lien)
• TP3 : RC4 et WEP (lien)

Info002 : cryptologie

• évaluation du cours

• TD0 : quelques exemples avec OpenSSL
• 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
• TD4 : hash, MAC
• TD5 : cryptographie asymétrique (chiffrement et signature)
  • une clé RSA factice à factoriser,
  • le script Python qui a généré la clé.

• TP1 : compromis temps / mémoire, les tables arc-en-ciel
• TP2 : stéganographie, signature, etc.

Années précédentes

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