Miniprojets 2025–2026

Id

Projet

Description

Liens / Notes

Étudiants

1

Utilisation de TOSCA pour des services réseau hybrides

Montrer l’usage de TOSCA pour gérer un Network Service (NS) hybride comprenant 3 VNF interconnectés : deux VNFs sur VM et un VNF conteneurisé. Chaque VNF a 2 composants scalables et peut survivre à la défaillance d’un composant. Vérifier la correction des NSD et VNFD associés avec un parseur TOSCA.

2

Nephio – 5GC

Montrer l’usage de Nephio pour déployer un réseau 5G Core simple, et une variante incluant différentes fonctions de gestion de network slice.

Guide Nephio

 

3

P4-PNA-ACL

Montrer l’usage de P4 pour décharger le filtrage de paquets vers une NIC conforme à l’architecture PNA, émulée avec bmv2.

4

P4-PNA-VXLAN

Montrer l’usage de P4 pour décharger l’encapsulation VXLAN vers une NIC conforme PNA, émulée avec bmv2.

Haithem DOUGEZ

5

P4-PNA-EarlyDrop

Décharger en P4 une logique de early packet drop vers une NIC conforme PNA, en utilisant bmv2 pour l’émulation. Un niveau simple de congestion est suivi dans un registre et les paquets sont abandonnés lorsqu’il dépasse un seuil défini via P4Runtime.

6

P4-eBPF-EarlyDrop

Montrer l’usage de P4 pour décharger la logique d’early packet drop vers le noyau hôte via eBPF. Un niveau simple de congestion est suivi dans un registre et les paquets sont abandonnés au‑delà d’un seuil défini via P4Runtime.

Backend eBPF de p4c

7

P4-AlertInjection

Détecter des motifs de trafic spécifiques et injecter des paquets d’alerte personnalisés directement depuis le dataplane d’un routeur émulé avec bmv2. P4Runtime fournit les motifs et l’adresse de destination.

Backend bmv2 de p4c

8

SFC-NSM

Montrer l’usage de NSM (Network Service Mesh) pour mettre en œuvre du service chaining avec deux chemins d’acheminement impliquant 3 SF dans un cluster K8S.

9

SFC-SRv6

Montrer l’usage de SRv6 pour mettre en œuvre du service chaining, avec deux chemins d’acheminement impliquant 3 SF.

Internet‑Draft

10

TeraFlow SDN

Montrer l’usage du contrôleur TeraFlow SDN pour mettre en œuvre des services L3VPN.

Tutoriel ETSI Labs

11

TeraFlow SDN / P4

Montrer l’usage de P4 avec le contrôleur TeraFlow SDN.

Walkthrough P4

12

BGPalerter

Mettre en place un environnement virtuel avec des voisins BGP, déployer l’outil BGPalerter et injecter des anomalies BGP simulées pour présenter au moins trois fonctionnalités de l’outil de supervision.

BGPalerter (GitHub)

Clément LEGUERN

13

Detournement de chemin BGP (Path Hijacking)

Montrer au moins deux types différents d’attaques de BGP path hijacking.

Samuel BITAN

14

SDN + détection / mitigation DoS

Simuler un SDN où le contrôleur échantillonne des statistiques de flux pour identifier des attaques DoS et met en timeout des hôtes malveillants. Évaluer : temps de réaction, quantité de trafic malveillant transmis, taux de faux positifs (selon différents mécanismes de détection et patterns de trafic).

Exemple GitHub

15

Serveur SIP Kamailio avec srsRAN et Open5GS

Déployer des communications IMS-basées VoLTE dans un environnement RAN désagrégé. Utiliser srsRAN comme RAN, Open5GS comme cœur et Kamailio comme proxy SIP au niveau IMS. Démontrer les appels vocaux et évaluer le délai d’enregistrement SIP.

Rivelyno RAZAFINANJO

16

Serveur SIP Kamailio avec OAI et OAI 5GC

Déployer des communications IMS‑basées VoLTE dans un environnement RAN désagrégé. Utiliser OAI comme RAN, OAI 5GC comme cœur et Kamailio comme proxy SIP au niveau IMS. Démontrer les appels et évaluer le délai d’enregistrement SIP.

17

Network Slicing avec srsRAN et Open5GC

Montrer des capacités de network slicing en utilisant srsRAN (RAN) et Open5GS (5GC) pour allouer des QoS différenciées à plusieurs classes de service. Configurer les paramètres de tranche via NSSAI (S‑NSSAI) et DNN. Utiliser des générateurs de trafic (ping, iperf) pour évaluer le débit, la latence et l’équité.

Patrice TERMOSIRIS

18

Network Slicing avec OAI et OAI 5GC

Montrer le network slicing avec OAI (RAN) et OAI 5GC (5GC) pour des QoS différenciées. Configurer via NSSAI et DNN. Mesurer débit, latence et équité avec ping/iperf.

Adien RAMILHARIVELO

19

Contrôleur SDN + gestion de QoS

Déployer un contrôleur Ryu dans un environnement Mininet avec au moins 7 nœuds et 3 hôtes. Définir des classes de service selon les hôtes source/destination et appliquer des paramètres de QoS par classe (priorité, bande passante). Générer différents profils de trafic (static, bursty, oscillating) et évaluer le débit, la latence et l’équité.

Exemple Ryu QoS

Holali David GAVI

20

Simulation BGP à grande échelle

Utiliser l’outil matrix-bgpsim pour simuler un réseau BGP à l’échelle d’Internet. Présenter les fonctionnalités du simulateur.

matrix-bgpsim (PyPI)

Damien DI SILVESTRO
Nicolas MOREL
Lindsey BOULET

21

NeST : Network Stack Tester – 1

Contribuer au projet NeST, un paquet Python pour générer et visualiser des bancs d’essai réseau. Sélectionner au moins une des issues ouvertes liées et tenter de la résoudre. Optionnel : après résolution, publier selon les contribution guidelines.

Stéphane NYOBE

22

NeST : Network Stack Tester – 2

Même objectif que 21 avec d’autres issues. Optionnel : publier selon les guidelines.

23

Contrôle de congestion TCP – BBR

Créer un environnement virtuel composé de deux VMs reliées via un lien émulé tc‑netem. Lancer des tests iperf/ping, mesurer le débit, la RTT et la perte de paquets sous différentes conditions (taille de tampon, délai, perte). Puis remplacer la pile TCP par l’algorithme expérimental BBR et comparer.

google/bbr

Thomas SPESSOT

24

Évaluer OSPF dans une constellation Starlink

Utiliser la plate‑forme StarryNet pour étudier le protocole de routage OSPF dans un réseau de constellation satellitaire Starlink.

SpaceNetLab/StarryNet

JABY Christophe
Daniel TANNIER

25

Simuler un réseau IoT Contiki‑NG dans Cooja

Utiliser l’outil de simulation cooja pour déployer un réseau d’objets IoT exécutant le système Contiki‑NG. Évaluer les performances en terme de PDR et de latence avec un nombre d’appareils variable.

Tutoriel Contiki‑NG

 

26

Étude comparative d’outils de mesure d’énergie au niveau conteneur

Évaluer et comparer trois collecteurs de métriques d’énergie open‑source compatibles conteneurs : PowerAPI, Scaphandre et Kepler avec un exemple Docker Compose. Objectif : évaluer la facilité de déploiement, la qualité des métriques et l’intégration avec des piles de supervision comme Prometheus et Grafana. Optionnel : utiliser Minikube ou kind pour évaluer Kepler et Scaphandre dans Kubernetes.

CAMARA, COULIBALY

27

Vérification formelle de sécurité pour SCTP

Reproduire l’analyse de « A Formal Analysis of SCTP » (USENIX Security 2024) en modélisant SCTP en Promela et en vérifiant des propriétés de sécurité avec le model checker SPIN. Utiliser ensuite l’outil de synthèse d’attaques KORG pour simuler des modèles d’attaquant et valider la sécurité du protocole.

ALIZADEH Charly

28

DINC – IA hybride dans le réseau pour la classification de trafic QUIC chiffré

Démontrer le cadre DINC pour déployer la classification de paquets dans des commutateurs P4 pour du trafic QUIC chifré.

Article DINC

Jean-Christophe HOUBLON