Ce projet propose des méthodes de pseudonymisation pour améliorer la confidentialité des protocoles LoRaWAN, souvent exposés à des risques liés à la métadonnée. Il évalue deux schémas de pseudonymes (résolvables et séquentiels) via des analyses théoriques et des simulations sur un jeu de données réel de 71 millions de messages. Les outils développés permettent de mesurer l'impact sur les performances et la sécurité des communications.

Ce projet est une preuve de concept (POC) qui démontre comment compromettre une connexion WireGuard pour identifier un utilisateur. Il utilise des machines virtuelles configurées avec Vagrant et VirtualBox pour simuler un environnement de test sécurisé. L'objectif est d'analyser les failles potentielles dans les communications chiffrées et d'évaluer la robustesse des protocoles de sécurité.

Outil dédié à la modélisation, l'analyse et la simulation de protocoles de sécurité pour les systèmes communicants. Il permet de générer des cas de test automatisés, d'identifier des vulnérabilités potentielles et de valider des propriétés de sécurité via des modèles formels. Utilisé principalement dans le domaine de la cybersécurité et de la vérification de systèmes.

Ce projet illustre le mécanisme d'échange de jetons défini par la RFC 8693 dans le cadre du protocole OAuth 2.0. Il permet de simuler l'interaction entre deux clients (source et cible) pour obtenir des jetons d'accès temporaires, facilitant ainsi l'intégration sécurisée entre applications ou services. L'objectif est de démontrer comment un client peut déléguer des droits à un autre sans partager ses identifiants.

Outil dédié à la simulation et au test de protocoles de communication sécurisés, notamment pour valider la conformité des systèmes aux normes XCA. Il permet aux développeurs et intégrateurs de vérifier le bon fonctionnement de leurs implémentations avant déploiement en environnement réel, réduisant ainsi les risques d'erreurs et les coûts de correction.

Ce projet est une plateforme de test dédiée à l'évaluation de jetons d'accès et de mécanismes d'authentification. Il permet de simuler des flux sécurisés et de valider des protocoles avant leur déploiement en environnement réel. Utilisé principalement pour des tests internes ou des démonstrations techniques.

Outil académique dédié au suivi des situations de harcèlement scolaire dans le cadre du programme pHARe. Il permet aux établissements de gérer les entretiens, les démarches et les bilans selon la méthode de la préoccupation partagée (MPP) et le protocole SECURE. L'outil intègre un moteur de relance, un simulateur de calendrier et des exports sécurisés (fiches navettes, points de situation, bilans anonymes). Toutes les données restent hébergées dans un document Grist, garantissant la confidentialité et la conformité RGPD.

TreeFTP est un outil en ligne de commande qui permet d'afficher l'arborescence d'un répertoire distant accessible via le protocole FTP. Il simule la commande Unix 'tree' pour les serveurs FTP, facilitant ainsi l'exploration et l'analyse des structures de fichiers sans avoir à naviguer manuellement dans chaque dossier. L'outil gère les connexions sécurisées, l'authentification et propose des options pour limiter la profondeur d'affichage ou inclure des détails supplémentaires sur les fichiers.

Ce projet est un serveur FTP (File Transfer Protocol) conçu pour faciliter le transfert de fichiers entre un client et un serveur. Il permet aux utilisateurs de se connecter, de s'authentifier et d'échanger des fichiers de manière sécurisée. Le serveur gère les comptes utilisateurs, impose des restrictions d'accès et supporte les connexions simultanées pour une utilisation multi-utilisateurs.