Contenu de l'AA

Ce cours a, par nature, un contenu évolutif en fonction des années, centré sous la thématique de la programmabilité sûre des systèmes informatiques en général. Le contenu exact du cours dépendra de l'évolution (constante) des technologies liées à la cybersécurité et peut également être influencé par les intérêts des étudiants.

À titre illustratif, voici le contenu du cours des années précédentes (la thématique sous-jacente restera constante, mais les sujets exacts peuvent évoluer):
- Le langage de programmation système Rust, et ses perspectives pour des logiciels sûrs par conception
- Conception du protocole (en clair) Multipath TCP, et l'impact des middleboxes dans Internet
- Optimisation des algorithmes multichemin pour un Multipath TCP adapté par application
- Le protocole (encrypté) QUIC: conception, impact et perspectives
- eBPF: une machine virtuelle dans le système d'exploitation
- Confiance dans la programmabilité: WebAssembly et les Trusted Execution Environments (ARM Trustzone, Intel SGX)
- La programmabilité dans les réseaux
- Introduction aux technologies blockchain

Supports principaux non reproductibles

Slides disponibles sur Moodle

Support complémentaires non reproductibles

Sans objet

Autres références conseillées

Sans objet

Mode d'enseignement

• En présentiel

Types d'activités

• Cours magistraux
• Exercices dirigés
• Préparations, travaux, recherches d'information

Evaluations

Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend