Fiabilité II
Cours 1 :
Analyse statique et Typage
Cours 2 :
Typage et analyse statique au sein de Java
Cours 3 :
Interprétation Abstraite
Cours 5 :
Modèles formels de la sécurité
Cours 6 :
Sécurité et Java (I)
Cours 7 :
Sécurité et Java (II)
TP 1 :
Buffer Overflow
TP 2 :
Sécurité et Java
TP 3 :
Sécurité et Java (II)