Knowledge Tree

researcher / Roland Groz

Roland Groz

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Verification de proprietes logiques des protocoles et systemes repartis par observation de simulations

Directed Thesis:

Guidage du test en frelatage de codes binaires pour la détection de vulnérabilités logicielles complexes

Rétro-ingénierie de programmes binaires en une exécution : une analyse dynamique légère basée au niveau des fonctions

Inférence automatique de modèles d'applications Web et protocoles pour la détection de vulnérabilités

Detection of web vulnerabilities via model inference assisted evolutionary fuzzing

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

Test fonctionnel de propriétés hybrides

Analyse et optimisation d'algorithmes pour l'inférence de modèles de composants logiciels

Rétro-conception de modèles d'automates étendus de composant logiciels boîte-noire pour le test d'intégration

Génération de tests de sécurité pour les systèmes répartis