Aller de la sûreté à la sécurité en analyse de code: le model attaquant

par Soline Ducousso

Projet de thèse en Informatique

Sous la direction de Marie laure Potet.

Thèses en préparation à l'Université Grenoble Alpes , dans le cadre de École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) , en partenariat avec VERIMAG (laboratoire) et de Preuves et Analyses de Code pour la Sûreté et la Sécurité (equipe de recherche) depuis le 13-10-2020 .


  • Résumé

    Aller de la sûreté à la sécurité en analyse de code: le model attaquant

  • Titre traduit

    Moving code analysis from safety to security: attacker model


  • Résumé

    Moving code analysis from safety to security: attacker model