Description

Cette thèse vise à faire progresser les connaissances scientifiques sur le stockage de données décentralisé en combinant conception algorithmique, vérification de la disponibilité des données et validation rigoureuse des solutions proposées. Le premier objectif consiste à développer de nouveaux algorithmes distribués favorisant la frugalité algorithmique, afin de réduire les besoins en calcul, en mémoire et en énergie. Cette approche permet de limiter les coûts d’infrastructure, de faciliter le déploiement sur des environnements contraints et de contribuer à une informatique plus
durable.

Le deuxième objectif porte sur la conception de mécanismes permettant de démontrer efficacement la possession effective des données dans des architectures réparties entre plusieurs nœuds indépendants. Les travaux viseront des protocoles légers et adaptés au passage à l’échelle, capables de vérifier la disponibilité des données sans transferts massifs ni surcharge réseau.

Enfin, le troisième objectif concerne la vérification formelle des algorithmes et protocoles développés afin d’en garantir la correction et la fiabilité. La modélisation mathématique et l’automatisation des analyses permettront de renforcer la robustesse opérationnelle, la reproductibilité scientifique et les perspectives de transfert vers des applications industrielles.

Compétences requises

Rigoureux, connaissances de base en informatique fondamentale. À l'aise en prototypage pour les preuves de concept.

Bibliographie

Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert:
Secure Keyless Multi-party Storage Scheme. ESORICS (3) 2024: 279-298

Gaël Marcadet, Pascal Lafourcade, Léo Robert:
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. SAC 2023: 1558-1565

Pascal Lafourcade, Gaël Marcadet, Léo Robert:
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption. AFRICACRYPT 2024: 174-198

Gil Utard:
Calcul sur les données volumineuses et stockage distribué à grande échelle. University of Picardie Jules Verne, Amiens, France, 2023

Mots clés

Contrôle d'accès, Intégrité de données, Sécurité prouvable, Stockage de données