Gilles Barthe
Gilles Barthe a dirigé les 8 thèses suivantes :
On type-based termination and dependent pattern matching in the calculus of inductive constructions
par Jorge Luis Sacchini sous la direction de Gilles Barthe - Paris, ENMP
Informatique, temps réel, robotique et automatique
Soutenue en 2011
Formal certification of game-based cryptographic proofs
par Santiago José Zanella Béguelin sous la direction de Gilles Barthe - Paris, ENMP
Informatique, temps réel, robotique et automatique
Soutenue en 2010
Verification of confidentiality policies for mobile code
par Tamara Rezk sous la direction de Gilles Barthe - Nice
Informatique
Soutenue en 2009
Préservation des preuves et transformation de programmes
par César Kunz sous la direction de Gilles Barthe - Paris, ENMP
Informatique, temps réel, robotique et automatique
Soutenue en 2009
Vérification de programmes en code octet et ses applications
par Mariela Pavlova sous la direction de Gilles Barthe et de Lilian Burdy . - Nice
Informatique
Soutenue en 2007
Formalisation en Coq de modèles cryptographiques idéalisés et application au cryptosystème ElGamal
par Sabrina Tarento sous la direction de Gilles Barthe et de André Hirschowitz . - Nice
Mathématiques
Soutenue en 2006
Vérification formelle de la plate-forme Java Card
par Guillaume Dufay sous la direction de Gilles Barthe - Nice
Informatique
Soutenue en 2003
Outils et techniques pour la vérification formelle de la plate-forme JavaCard
par Simão Melo de Sousa sous la direction de Gilles Barthe - Nice
Informatique
Soutenue en 2003
Gilles Barthe a été président de jury des 2 thèses suivantes :
Proof of security protocols revisited
par Guillaume Scerri sous la direction de Hubert Comon-Lundh - Cachan, Ecole normale supérieure
Informatique
Soutenue le 29-01-2015
Formalisation de preuves de sécurité concrète
par Marion Daubignard sous la direction de Yassine Lakhnech - Grenoble
Informatique
Soutenue le 12-01-2012
Gilles Barthe a été rapporteur des 7 thèses suivantes :
Vote électronique : définitions et techniques d'analyse
par Joseph Lallemand sous la direction de Véronique Cortier - Université de Lorraine
Informatique
Soutenue le 08-11-2019
Specifying and Verifying Hardware-based Security Enforcement Mechanisms
par Thomas Letan sous la direction de Ludovic Mé - CentraleSupélec
Informatique (STIC)
Soutenue le 25-10-2018
Differential program semantics
par Thibaut Girka sous la direction de Roberto Di Cosmo et de David Mentré . - Sorbonne Paris Cité
Informatique
Soutenue le 03-07-2018
Vérification automatique de la protection de la vie privée : entre théorie et pratique
par Lucca Hirschi sous la direction de Stéphanie Delaune et de David Baelde . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 21-04-2017
A formalization of elliptic curves for cryptography
par Evmorfia-Iro Bartzia sous la direction de Karthikeyan Bhargavan - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 15-02-2017
Information Flow Security in Component-Based Models : From verification to Implementation
par Najah Ben Said sous la direction de Saddek Bensalem et de Dorel Marius Bozga . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 07-11-2016
Certification of a Tool Chain for Deductive Program Verification
par Paolo Herms sous la direction de Claude Marché - Paris 11
Informatique
Soutenue le 14-01-2013
