Ce projet est un travail pratique destiné aux étudiants de niveau L2 en cybersécurité. Il propose des exercices et des défis concrets pour appliquer les concepts théoriques abordés en cours. Les étudiants y développent des compétences pratiques en analyse de vulnérabilités, cryptographie et sécurisation de systèmes. Le projet s'inscrit dans le cadre d'un enseignement universitaire et vise à renforcer la compréhension des enjeux de sécurité informatique.

Ce projet est un travail pratique destiné aux étudiants de deuxième année de licence en cybersécurité. Il propose des exercices et des mises en situation pour appliquer les concepts théoriques abordés en cours, comme l'analyse de vulnérabilités, la cryptographie ou la gestion des accès. Les étudiants y développent des compétences pratiques essentielles pour leur future carrière dans la sécurité informatique.

Ce projet pédagogique est conçu pour les étudiants en deuxième année de licence. Il propose des travaux pratiques et des exercices concrets pour leur apprendre les bases de la sécurité informatique. Les activités incluent des défis de cryptographie, des analyses de vulnérabilités et des mises en situation réelles pour renforcer les compétences techniques.

Plateforme dédiée à l'organisation de Capture The Flag (CTF), une compétition de cybersécurité où les participants résolvent des défis techniques pour exploiter des vulnérabilités, sécuriser des systèmes ou analyser des données. Les participants, souvent des professionnels ou étudiants en sécurité informatique, s'affrontent pour tester leurs compétences en hacking éthique, cryptographie, forensique ou programmation sécurisée. L'événement favorise l'apprentissage pratique et la collaboration dans un cadre compétitif.

ProVerif est un outil dédié à la vérification automatique de propriétés de sécurité des protocoles cryptographiques. Il permet de modéliser et d'analyser des protocoles pour détecter des vulnérabilités potentielles, garantissant ainsi leur robustesse face aux attaques. Utilisé dans la recherche académique et industrielle, il aide à sécuriser les communications et les échanges de données.

Projet de recherche académique visant à développer une méthode d'attaque non supervisée contre les primitives RSA. Utilise une approche basée sur l'analyse de corrélation de collisions avec Barlow Twins pour identifier des vulnérabilités dans les implémentations cryptographiques. Destiné à la communauté scientifique pour des publications et des évaluations de sécurité.

Parsifal est un moteur de parsing basé sur OCaml, conçu pour analyser et décoder divers formats binaires et protocoles réseau. Il permet d'extraire des informations structurées à partir de fichiers ou de flux réseau, notamment des certificats SSL/TLS, des messages cryptographiques ou des formats de fichiers complexes. Utilisé principalement par des experts en sécurité informatique et en analyse de données.

Tagada est un outil open source dédié à la cryptanalyse différentielle automatisée. Il permet de modéliser des algorithmes de chiffrement sous forme de graphes, de générer des attaques différentielles et d'analyser les caractéristiques tronquées pour identifier des vulnérabilités dans les systèmes cryptographiques. Utilisé principalement par les chercheurs et les experts en sécurité, il facilite l'étude des propriétés des chiffrements symétriques et asymétriques.

Projet académique visant à analyser et comparer les performances et la sécurité des algorithmes cryptographiques face aux attaques par canaux auxiliaires. Il propose des outils pour évaluer les fuites temporelles et valider des propriétés de mémoire constante, notamment via des modes sécurisés (exposé, verrouillé, sans branchement, etc.). Les résultats sont générés sous forme de fichiers CSV pour faciliter l'analyse comparative.

Tagada est un outil spécialisé dans la cryptanalyse différentielle automatisée. Il permet de générer des modèles déclaratifs pour analyser la sécurité des chiffrements par blocs comme AES. Le projet facilite la recherche de caractéristiques différentielles et la visualisation des graphes cryptographiques associés, aidant ainsi les chercheurs et cryptanalystes à évaluer la robustesse des algorithmes de chiffrement.