Ce projet pédagogique aborde la gestion des droits et de la sécurité sous Unix. Il permet aux étudiants d'apprendre à manipuler les permissions, les utilisateurs, les groupes et les mots de passe. Les fonctionnalités incluent la vérification des droits d'accès, la gestion des comptes et la sécurisation des authentifications. Le TP s'appuie sur des exercices pratiques pour renforcer les compétences en administration système.

Outil permettant de vérifier que les commits d'un dépôt Git ont été signés par des clés autorisées. Il sécurise ainsi les dépôts en s'assurant que seules les modifications validées par des contributeurs de confiance sont intégrées. Le projet utilise des tags de référence pour marquer les commits vérifiés et compare les signatures des commits suivants avec les clés GPG autorisées, stockées dans un fichier dédié. Il est particulièrement utile pour les équipes ou organisations souhaitant renforcer la sécurité de leur processus de développement.

VeriFast est un outil d'analyse statique formelle conçu pour vérifier la correction de programmes écrits en C et Java. Il permet de détecter des erreurs de typage, des violations de propriétés de sécurité et des bugs potentiels avant l'exécution. Utilisé principalement dans les domaines critiques comme les systèmes embarqués ou les applications sécurisées, il aide les développeurs à prouver que leur code respecte des spécifications formelles.

VeriFast est un outil d'analyse statique conçu pour vérifier la sécurité et la correction des programmes. Il permet de détecter des vulnérabilités potentielles dans le code source, notamment en Java, en s'appuyant sur des annotations et des propriétés formelles. L'outil est utilisé pour garantir la robustesse des systèmes critiques, comme les cartes à puce ou les applications embarquées, en identifiant les erreurs de logique ou les failles de sécurité avant leur déploiement.

Service public numérique gratuit permettant aux travailleurs et demandeurs d'emploi de centraliser et sécuriser leurs certifications, formations et attestations en matière de santé et sécurité au travail. Intégré à Mon Compte Formation, il offre un espace personnel pour consulter, partager et tracer ses acquis professionnels, tout en aidant les employeurs à vérifier la conformité des compétences de leurs salariés. Géré par la Caisse des Dépôts pour le compte du ministère du Travail, il répond aux exigences légales de prévention des risques professionnels.

ClamAV Compose est un outil conçu pour déployer et configurer ClamAV, un antivirus open source, dans des environnements conteneurisés via Docker Compose. Il facilite l'intégration de la détection de malwares dans des infrastructures modernes, permettant aux équipes DevOps et sécurité d'automatiser la vérification des fichiers et images Docker. Idéal pour les environnements de développement, de test ou de production, il renforce la sécurité sans complexité technique excessive.

Nagios Plugins est une suite d'outils permettant de surveiller l'état des systèmes, réseaux et services informatiques. Il offre des fonctionnalités pour vérifier la disponibilité, la performance et l'intégrité des infrastructures IT. Les plugins permettent de détecter des anomalies, d'envoyer des alertes en temps réel et d'assurer une maintenance proactive pour éviter les interruptions de service. Utilisé par les administrateurs système et les équipes DevOps, il contribue à la stabilité et à la sécurité des environnements informatiques.

MAR-CI est un système d'intégration continue dédié à la validation et au test automatisé des codes sources du projet MAR. Il permet de vérifier la conformité des structures de fichiers, d'exécuter des pipelines de compilation et de test sur différentes configurations matérielles et logicielles, et de gérer des accès sécurisés aux dépôts privés. L'outil facilite la collaboration entre développeurs en automatisant les vérifications et en fournissant des rapports détaillés sur les résultats des tests.

Ce projet est une application interne dédiée à la gestion des utilisateurs et des transferts de fonds au sein d'une organisation. Il permet aux employés de se connecter, d'accéder à des fonctionnalités spécifiques et de communiquer via une messagerie interne sécurisée. L'application facilite également la vérification des comptes et l'authentification des utilisateurs pour garantir la sécurité des opérations.

Ce projet est une implémentation fonctionnelle de l'API CaptchEtat sur une application Next.js. Il nécessite un accès à l'API CaptchEtat. Il permet de vérifier la présence humaine en ligne, de protéger contre les spams et les bots, et d'assurer une authentification sécurisée des utilisateurs.