Fiche de CIVIT Pierre

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Employeur: Sorbonne Université


Date de debut de thèse: 4 novembre 2019
Date soutenance de thèse: 15 décembre 2022
Directrice de thèse: Maria POTOP-BUTUCARU (LIP6)
Sujet de thèse: Secure and scalable algorithms for DAG-based blockchains


Soutenance de thèse

Données générales

Titre : Spécification des systèmes distribués dynamiques probabilistes sécurisés
Date : 15 décembre 2022
Heure: 15:00
Résumé : Cette thèse propose un modèle hiérarchique pour les systèmes distribués dynamiques, probabilistes et sécurisés en étendant les systèmes de transition d’états étiquetés.  Le modèle comprend 3 ingrédients essentiels: (1) une opération de composition parallèle ||,  permettant de représenter un nouvel object A||B issu de l’interaction entre deux objects A et B, (2) une relation de préordre <=, où A <= B signifie que l’object A implémente l’object B, (3) la propriété de composabilité pour <=, c’est-à-dire  A <= B implique C||A <= C||B.  De plus, la thèse discute des conditions nécessaires et suffisantes pour obtenir (4) la monotonie de la creation dynamique d’objets avec <=, c'est à dire que si (i) A <= B et (ii) X et X' ne diffèrent que par le fait que X crée et détruit dynamiquement A au lieu de B comme X' le fait, alors (iii) X <= X'. Le modèle est décliné en plusieurs variantes: asynchrone, temporelle, bornée.
Lieu : Sorbonne Université, campus Pierre et Marie Curie

Rapporteurs/ Rapporteuses

Personne Qualité Etablissement
M. Attie Paul Professeur des universités Augusta University (États-Unis)
M. Merz Stephan Directeur de recherche (HDR) Laboratoire Lorrain de Recherche en Informatique et ses Applications, INRIA

Composition du jury

Personne Qualité Etablissement
M. Vergnaud Damien Professeur des universités LIP6, Sorbonne Université
M. Attie Paul Professeur des universités Augusta University (États-Unis)
M. Merz Stephan Directeur de recherche (HDR) Laboratoire Lorrain de Recherche en Informatique et ses Applications, INRIA
Mme. Attiya Hagit Professeure des universités Technion (Israël)
M. Gramoli Vincent Maître de Conférences (HDR) University of Sydney (Australie)
M. Guerraoui Rachid Professeur des universités EPFL (Suisse)
M. Mostefaoui Achour Professeur des universités Laboratoire des Sciences du Numérique de Nantes, Univ. Nantes
Mme. Potop-butucaru Maria Professeure des universités LIP6, Sorbonne Université