Thèse Gestion de la Confiance dans le Partage de Données Génomiques Via le Blockchain et les Smart Contrats H/F

Doctorat.Gouv.Fr

Établissement : Université Paris-Saclay GS Informatique et sciences du numérique
École doctorale : Sciences et Technologies de l'Information et de la Communication
Laboratoire de recherche : IBISC - Informatique, BioInformatique, Systèmes Complexes
Direction de la thèse : Nazim AGOULMINE ORCID 0000000234614284
Début de la thèse : 2026-10-01
Date limite de candidature : 2026-05-12T23:59:59

Cette thèse vise à étudier une approche avancée du partage de données génomiques, y compris les aspects d'identités auto-souveraines (SSI) et de souveraineté des données au delà de l'état actuel de l'art. La recherche couvrira l'examen et la définition formelle des architectures à connaissance nulle (ZKA) [12] pour le partage de données génomiques. La recherche sur ZKA vise à spécifier de nouvelles méthodologies pour minimiser le partage de données avec les parties prenantes, c'est-à-dire les donateurs, et pour permettre la preuve de la souveraineté des données, par exemple, la vérification basée sur le modèle de données SSI. D'une part, la recherche vise à évaluer la maturité de ZKA pour prendre en charge le partage de données génomiques, et d'autre part à examiner la combinaison de contrats intelligents pour soutenir ce processus. En outre, les composants logiciels de vérification formelle, y compris les processus et fonctionnalités des contrats intelligents, doivent être abordés et potentiellement proposer une nouvelle façon de gérer le partage d'informations en étendant les principes actuels de conception des contrats intelligents. En ce qui concerne l'implication des parties prenantes, cette thèse vise à appliquer les concepts avancés de jumeau numérique pour les concepts d'intégration, de gestion des interactions et de partage de données dans un modèle de confiance entièrement décentralisé (paradigme Web3). L'approche scientifique proposée devrait permettre la vérification des informations via des informations partagées avec des informations d'identification vérifiables (VC) et des opérations autorisées sur ces informations. Au coeur de la solution scientifique proposée, il devrait y avoir la transparence, la confiance, c'est-à-dire la proposition d'un modèle de confiance vérifié pour le partage d'informations et la confidentialité.

Développement de la bioinformatique et l'importante de disposer de données génomique d'un population importante d'individus.

3 objectifs principaux seront traités dans cette thèse:
1) Le premier objectif est l'identification des risques et des défis dans la sécurité et le partage des données génomique et de réaliser une synthèse approfondie de l'état de l'art.
2) Le troisième objectif de proposer un modèle de sécurité et de partage avec confiance de données génomique. Le modèle doit être spécifié formellement et vérifié.
3) Le troisième objectif consiste à implémenter le modèle et évaluer ses propriétés et performances dans des cas d'usages les plus réalistes possibles

------
3 main objectives will be addressed in this thesis:
1) The first objective is the identification of risks and challenges in the security and sharing of genomic data and to carry out an in-depth synthesis of the state of the art.
2) The seconde objective is to propose a model for security and confident sharing of genomic data. The model must be formally specified and verified.
3) The third phase will be the implementation of the model and the evaluation of its properties and performance in the most realistic use.

Etude de l'état de l'art
Comparaison de l'état de l'art
Identification des travaux les plus pertinents dans le domaine
Identification des propriétés recherchées
Proposition d'une solution
Evaluation de la solution
Vérification de la solution et en cas d'échec refaire une nouvelle proposition
Publier les résultats dans des conférences et journaux de haut niveau
Disséminer les résultats dans les forums appropriés
---------------------------------------------------------------------
State of the art study
Comparison of the state of the art
Identification of the most relevant work in the field
Identification of desired properties
Proposing a solution
Solution evaluation
Verification of the solution and in case of failure redo a new proposal
Publish results in high-level conferences and journals
Disseminate results in appropriate forums