Hubert Comon-Lundh
Hubert Comon-Lundh a rédigé la thèse suivante :
Unification et disunification : théorie et applications
par Hubert Comon-Lundh sous la direction de Jacques Calmet - Grenoble INPG
Informatique
Soutenue en 1988
Hubert Comon-Lundh a dirigé les 9 thèses suivantes :
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants
par Charlie Jacomme sous la direction de Hubert Comon-Lundh et de Steve Kremer . - université Paris-Saclay
Informatique
Soutenue le 16-10-2020
Preuves symboliques de propriétés d’indistinguabilité calculatoire
par Adrien Koutsos sous la direction de Hubert Comon-Lundh - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 27-09-2019
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
Automatic verification of cryptographic protocols : privacy-type properties
par Vincent Cheval sous la direction de Hubert Comon-Lundh et de Bruno Blanchet . - Cachan, Ecole normale supérieure
Informatique
Soutenue le 03-12-2012
Contraintes de déductibilité dans une algèbre quotient : réduction de modèles et applications à la sécurité
par Sergiu Bursuc sous la direction de Hubert Comon-Lundh et de Stéphanie Hubert . - Cachan, Ecole normale supérieure
Mécanique. Génie mécanique. Génie civil
Soutenue en 2009
Théories de l'intrus pour la vérification des protocoles cryptographiques
par Vincent Bernat sous la direction de Hubert Comon-Lundh - Cachan, Ecole normale supérieure
Informatique
Soutenue en 2006
Vérification des protocoles cryptographiques et propriétés algébriques
par Stéphanie Delaune sous la direction de Hubert Comon-Lundh - Cachan, Ecole normale supérieure
Informatique
Soutenue en 2006
Vérification automatique des protocoles cryptographiques
par Véronique Cortier sous la direction de Hubert Comon-Lundh - Cachan, Ecole normale supérieure
Sciences. Informatique
Soutenue en 2003
Automates d'arbres et reecriture de termes
par Florent Jacquemard sous la direction de Hubert Comon-Lundh - Paris 11
Sciences appliquées
Soutenue en 1996
Hubert Comon-Lundh a été membre de jury des 4 thèses suivantes :
Logical foundations of a modelling assistant for molecular biology
par Adrien Husson sous la direction de Jean Krivine - Université Paris Cité
Informatique
Soutenue le 16-12-2019
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels
par Martin Clochard sous la direction de Claude Marché - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 30-03-2018
Reachability games with counters : decidability and algorithms
par Julien Reichert sous la direction de Dietmar Berwanger et de Laurent Doyen . - Cachan, Ecole normale supérieure
Informatique
Soutenue le 30-07-2015
Foundations for analyzing security APIs in the symbolic and computational model
par Robert Künnemann sous la direction de Graham Steel - Cachan, Ecole normale supérieure
Informatique
Soutenue le 07-01-2014
