Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Fabien Dagnat

Fabien Dagnat

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Vérification statique de programmes répartis

Directed Thesis:

Sensibilité de logiciels au détournement de flot de contrôle
Contrôle sûr de chaînes d'obfuscation logicielle
Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques