Knowledge Tree

researcher / Laurent Mounier

Laurent Mounier

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Méthodes de vérification de spécifications comportementales : étude et mise en oeuvre

Directed Thesis:

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

Recherche de vulnérabilités logicielles par combinaison d'analyses de code binaire et de frelatage (Fuzzing)

Programmation efficace et sécurisé d'applications à mémoire partagée

Etude et mise en oeuvre de techniques de validation à l'exécution

Modélisations et analyses de réseaux de capteurs

Application des ordres partiels à la génération compositionnelle de systèmes asynchrones