Résumé de section
-
Lundi 05/10 : Sécurité Logicielle - L. Mounier [10h-12h30]
Vendredi 09/10: Sécurité Logicielle - Travail non encadré [14h - 17h]
- (In-)sécurité des langages de programmation (sujet ci-dessous)
Reading suggestions:
- Introduction du cours de X. Leroy sur la sécurité du logicielle (Collège de France)
- A path towards secure and measurable software (ONCD White House report - 2024)
- slides from E. Poll introduction course
- Mind your Language(s)
- A comprehensive description of C undefined behaviors
- "The Emperor's Old Clothes" (The 1980 ACM Turing Award Lecture, by C.A.R Hoare)
- Common Weakness Enumeration: buffer overflows, integer overflows, use-after-free, etc.
- What happened to my Code ? (about undefined behaviors in C)
- CERT secure coding standarts
- Google Zero Project: 0day Exploit Root Cause Analyses
- The Known Exploitable Vulnerabilities (KEV) catalog
- The Art of Software Security Assessment - Identifying and Preventing Software Vulnerabilities (M. Dowd, J. MacDonald, J. Shuh) [chapters 5 to 8]
- Summary of C/C++ integer rules
- Shining Light on Shadow Stacks
- About Data-Oriented Programming Attacks (DOP)
- Quelques options de compilation pour aider à sécuriser un code C (revue MISC, no 121)
- About C++ smart pointers (et également ici)
-
Lundi 12/10 : Sécurité Logicielle - L. Mounier [9h45 -11h45]
- (Un-)Sécurité des langages de programmation (restitution des résultats du TP)
- Vulnérabilités logicielles et Protections
Mardi 13/10 : Sécurité Logicielle - L. Mounier [8h30-11h30]- Vulnérabilités logicielles et Protections
- TP buffer overflow, introduction
Mardi 13/10 : Sécurité Logicielle L. Mounier [14h - 17h]- shell-codes and reverse shells (slides from W. Du)
- TP buffer overflow
Mercredi 14/10 : Constant-time, non-interference L. Mounier [9h45 -11h45]
- Information-Flow, non-interference, constant-time programming (some slides, and some others from E. Poll)
- Sandboxing (slides from E. Poll, part1 and part2)
- Exercises on information-flow and sandboxing
Reading suggestions:
Jeudi 15/10 et vendredi 16 : Fuzzing et Exécution Symbolique (L. Mounier)
- les transparents d'introduction
- les transparents sur le fuzzing
- le sujet du TP sur AFL++
- Un peu de reverse ... (slides)
Reading suggestions:
-
Objectifs : retrouver par fuzzing (AFL ou LibFuzzer) ou par DSE (Klee) les vulnérabilités connues dans le programmes Grueb ou dans l'exercice 8 du TP1
A rendre :
- un petit compte-rendu
- le sources du programme modifié pour les besoins de cette analyse