Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Jean Goubault-Larrecq
Jean Goubault-Larrecq
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Enforcing virtualized systems security
Formal verification of secured routing protocols
Verification and composition of security protocols with applications to electronic voting
Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité
Static analysis of embedded multithreaded programs
Sécurité des protocoles cryptographiques : aspects logiques et calculatoires
Raffinements de la résolution et vérification de protocoles cryptographiques
Automates d'arbres bidirectionnels modulo théories équationnelles
Vérification de code d'octet de la machine virtuelle Java : formalisation et implantation