Knowledge Tree

researcher / Marie-Laure Potet

Marie-Laure Potet

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Preuves et stratégies pour la synthèse déductive de programmes

Directed Thesis:

Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques

Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free

Analyse de code et processus d'évaluation des composants sécurisés contre l'injection de faute

Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements