Cours enseignés à l'INSA Centre Val de Loire

Cours enseignés à l'INSA Centre Val de Loire

3^e année cycle ingénieur, option Sécurité des Systèmes Ubiquitaires (2SU)

Sécurité des infrastructures de virtualisation

2016 - 2017

- Sécurité de la virtualisation avec QEMU/KVM : slides / version imprimable
- Conteneurs sous Linux : Disponibilité, isolation et sécurité : slides / version imprimable
- systemd: system and service manager for Linux : slides / version imprimable
- TD : systemd, journald, cgroups et conteneurs (Docker, CoreOS et rkt)
  1. systemd, journald et cgroups
  2. Conteneurs et sécurité

2015 - 2016

- Sécurité de la virtualisation avec QEMU/KVM : slides / version imprimable
  Références additionnelles :
- Conteneurs sous Linux : Disponibilité, isolation et sécurité : slides / version imprimable
- systemd: system and service manager for Linux : slides / version imprimable
- TD : systemd, journald, cgroups et conteneurs (Docker, CoreOS et rkt)
  1. systemd, journald et cgroups
  2. Conteneurs et sécurité

2013 - 2014

- Disponibilité et conteneurs sous Linux : slides / version imprimable
  Références additionnelles :
- systemd: system and service manager for Linux : slides / version imprimable
- TD : systemd, journald, cgroups et conteneurs
  1. systemd, journald et cgroups
  2. Conteneurs et sécurité
- Evaluation : Partiel

1^re année cycle ingénieur

Programmation système Linux/Unix II

2013 - 2014

- Threads, IPC POSIX (FIFO, MQ, SHM), signaux : slides / version imprimable
- Socket UNIX, Terminaux, IO non bloquant, Asynchronous I/O, Mémoire, ELF : slides / version imprimable
- TD :
  1. Threads : codes source
  2. IPC
  3. Synchronisation : codes source
  4. Signaux : codes source
  5. Partage mémoire
  6. Entrées sorties asynchrones : codes source
- Correction des TDs et partiel blanc :
  - Début de correction du TD sur les IPC
  - Partiel blanc : codes source / correction

Outils de développement et compilation

2013 - 2014

- Gestion de versions avec Git : slides / version imprimable
- Étude des performances, debug, analyse statique, analyse dynamique (perf, gdb, ASAN, valgrind) : slides / version imprimable
- Construction de projets avec Make, Autotools, CMake : slides / version imprimable
- TD :

Licence

Creative Commons License

This work by Timothée Ravier is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Contact

Timothée Ravier (adresse INSA-CVL : prenom.nom@insa-cvl.fr, adresse personnelle sur mon blog).