Section outline
-
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