Doctorant F/H Smartboxing: policy-dependent defensive code generation using verified static analysis and program transformations
Notre approche combine l’analyse statique, appliquée à la sécurité mémoire et au contrôle de flot d’informations (IFC), et l’isolement de pannes logicielles …
