Enseignement 2020 -- 2021

Info501 : logique et informatique

Les cours se tiendront à distance, probablement en utilisant Discord.

Contactez moi si vous n'avez pas reçu l'invitation.

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

• TP1 : satisfiabilité
• TP2 : SAT solveur
• TP3 : initiation à Prolog

Info502 : théorie des langages

Enseignant responsable : François Boussion

Les sujets de TP et TD sont disponibles sur Moodle

Info507 : systèmes d'exploitation

• td1 : appels système, processus et ordonnancement (pdf)
• td2 : ordonnancement et processus, suite (pdf)
• td3 : gestion de la mémoire (pdf)
• td4 : systèmes de fichiers (pdf)
• td5 : systèmes de fichiers, exemples (pdf)

• TP1 : processus et ordonnancement (lien)
• TP2 : mémoire, "ramasse miettes" (lien)
• TP3 : systèmes de fichiers (lien)

Info910 : 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
• 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 : cryptanalyse historique : le chiffre de Playfair
• TP2 : compromis temps / mémoire, les tables arc-en-ciel
• TP3 : stéganographie, signature, etc.

Années précédentes

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