Ce projet pédagogique est conçu pour les étudiants de Licence 2 en informatique. Il propose des travaux pratiques axés sur les fondamentaux de la sécurité informatique, incluant des exercices concrets pour comprendre les vulnérabilités, les attaques courantes et les bonnes pratiques de protection des systèmes. Le dépôt sert de support aux enseignants pour structurer les cours et aux étudiants pour s'entraîner dans un environnement contrôlé.

Ce projet propose des ressources pédagogiques pour les cours de preuves assistées par ordinateur et de preuve formelle. Il s'adresse principalement aux étudiants en informatique de niveau master, notamment ceux suivant les cours du M1 Informatique ou du M2 LMFI à Paris Diderot. Les documents couvrent des concepts théoriques et pratiques liés à la vérification et à la formalisation des preuves en informatique.

Ce projet propose un cours d'informatique destiné aux étudiants de Polytech en 2024. Il inclut la création de présentations interactives utilisant des technologies web modernes pour faciliter l'apprentissage et la compréhension des concepts enseignés.

Programme académique de 5 ans (Master + Doctorat) visant à attirer des étudiants excellents vers la recherche en informatique. Il propose des bourses, un accompagnement personnalisé par un tuteur et une évaluation rigoureuse pour intégrer un doctorat. Le programme est structuré autour de projets de recherche, de cours spécialisés et d'un examen de qualification.

Ce projet est un travail pratique destiné aux étudiants de niveau L2 en informatique. Il vise à leur enseigner les fondamentaux de la sécurité informatique à travers des exercices concrets et des mises en situation. Les étudiants y explorent des concepts clés comme la protection des données, les vulnérabilités courantes et les bonnes pratiques pour sécuriser des systèmes. Le projet est encadré par un enseignant et s'inscrit dans un cursus universitaire.

Ce projet pédagogique propose une application web minimaliste conçue pour illustrer et étudier des vulnérabilités courantes en cybersécurité, notamment les injections SQL et les failles XSS. Destiné aux étudiants en informatique, il permet de manipuler un environnement vulnérable en conditions réelles pour comprendre les mécanismes d'attaque et les méthodes de correction. L'application interagit avec une base de données MySQL et expose des interfaces simples pour tester les failles tout en apprenant à sécuriser les applications.

Ce projet est un travail pratique destiné aux étudiants de niveau L2 en informatique. Il propose des exercices et des activités pratiques pour introduire les concepts fondamentaux de la sécurité informatique, tels que les vulnérabilités, les attaques courantes et les bonnes pratiques de protection. Les étudiants y apprennent à identifier, analyser et corriger des failles de sécurité dans des environnements contrôlés.

Ce projet pédagogique propose une application web minimaliste conçue pour étudier et exploiter des vulnérabilités courantes en cybersécurité, notamment les injections SQL et les attaques par script intersite (XSS). Destiné aux étudiants en informatique, il permet de comprendre les mécanismes de ces failles, de les reproduire en environnement contrôlé, puis de les corriger pour renforcer la sécurité des applications. L'application interagit avec une base de données MySQL et illustre les bonnes pratiques de développement sécurisé.

Ce projet pédagogique permet d'étudier et d'analyser les vulnérabilités courantes d'une application web minimaliste développée en Python. Il se concentre sur l'identification et l'exploitation de failles d'injection SQL et de scripts inter-sites (XSS) pour comprendre les risques de sécurité associés. Destiné aux étudiants en informatique, il offre un environnement pratique pour apprendre à sécuriser des applications web contre ces attaques.

Ce projet pédagogique propose une application web minimaliste conçue pour étudier et analyser des vulnérabilités courantes en cybersécurité, notamment les injections SQL et les failles XSS. Il sert de support pratique pour comprendre les mécanismes d'attaque et les bonnes pratiques de sécurisation des applications web. Destiné aux étudiants et professionnels de l'informatique, il permet de manipuler des concepts de sécurité tout en expérimentant sur un environnement contrôlé.