Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Gilles Barthe

Gilles Barthe

at_id:

orcid_id:

Disciplines:

Computer sciences
Mathematics
Edit Merge See Links

Directed Thesis:

Verification of confidentiality policies for mobile code
Vérification de programmes en code octet et ses applications
Formalisation en Coq de modèles cryptographiques idéalisés et application au cryptosystème ElGamal
Vérification formelle de la plate-forme Java Card
Outils et techniques pour la vérification formelle de la plate-forme JavaCard