Fonctionnalisations chimiques de polysaccharides par la réaction de Passerini pour des applications dans le secteur de l'emballage

Doctorante : Clémence VUILLET

Laboratoire INSA : IMP (Ingénierie des Matériaux Polymères)

École doctorale : ED34 : Matériaux de Lyon

Dans un contexte global de transition écologique, et de réglementation renforcée contre les plastiques à usage unique, le développement de matériaux d'emballage à base de polysaccharides, suscite un intérêt croissant. Toutefois, l'hydrophilie de ces polymères naturels limite leurs performances barrières vis-à-vis de l'eau. Ce projet de thèse, qui s'inscrit dans un projet ANR (MODERATO) vise la synthèse de nouvelles familles de polysaccharides modifiés par la réaction de Passerini à 3 composants, en vue d'être utilisées comme revêtements biosourcés fonctionnels conférant à des substrats papier de bonnes propriétés barrières, maintenues sous des variations d'humidité et de température, pour l'emballage alimentaire. La réaction de Passerini permet de lier chimiquement 3 précurseurs (acide carboxylique, aldéhyde, isonitrile) en conditions aqueuses monotopes sans catalyseur, ni agent de couplage. Pour répondre aux objectifs visés, cette réaction a été appliquée à la carboxyméthylcellulose (CMC) et à l'alginate (ALG) pour générer des nouveaux dérivés de CMC et d'ALG doublement hydrophobisés, d'une part, et des dérivés à la fois hydrophobisés et porteurs de PEG-co-PPG thermosensible (caractère à LCST dans l'eau), d'autre part. Une large gamme de dérivés de DS variés, atteignant 0,50 (70% de conversion des acides carboxyliques) a été synthétisée. Les propriétés de mouillabilité des dérivés hydrophobisés, sous la forme de films minces, ont été analysées, en lien avec leur composition structurale. L'adsorption de ces dérivés sur différents types de substrat a été évaluée par des expériences de QCM-D qui ont montré que la fonctionnarisation Passerini mène à une augmentation des masses de polymère déposées. La caractérisation sous augmentation de la T°, des dérivés de CMC et d'ALG hydrophobisés et porteurs de segments à LCST, a mis en évidence la formation de gels physiques dans l'eau, et ce caractère thermosensible est conservé à l'état de films minces (prouvé par mouillabilité et QCM-D). De plus, des analyses par DVS et des mesures de la perméabilité à la vapeur d'eau ont montré que la double fonctionnalisation hydrophobe permet d'améliorer de façon significative les propriétés barrières à l'eau des dérivés sous la forme de films libres. Ce gain en termes d'effet barrière à la vapeur d'eau, couplé à de bonnes propriétés barrières aux graisses et à l'air ont également été démontré pour des papiers Kraft enduits des polysaccharides doublement hydrophobisés. Ces résultats ouvrent des perspectives attrayantes pour le développement d'emballages adaptés à des applications alimentaires.

Comment les réarrangements chromosomiques façonnent les génomes : étude par modélisation et simulations

Doctorante : Juliette LUISELLI

Laboratoire INSA : LIRIS - Laboratoire d'lnfoRmatique en Image et Systèmes d'information

École doctorale : ED512 Infomaths (Informatique et Mathématiques de Lyon)

Les origines de la complexité des génomes, ainsi que les déterminants de la taille des génomes, restent largement débattus. Cette thèse montre que les réarrangements chromosomiques sont un facteur clé de l'évolution de l'architecture du génome en termes de taille et de complexité. Elle montre en particulier que la taille et la fraction codante des génomes sont étroitement liées à la sélection de la robustesse aux réarrangements chromosomiques, et que celle-ci est notamment modulée par la taille de la population et le taux de mutation. Dans un premier temps, nous avons étudié l'impact des réarrangements chromosomiques sur l'évolution de l'architecture des génomes bactériens. Pour cela, la thèse s'appuie sur des simulations informatiques et des modélisations mathématiques. En particulier, pour les simulations, elle s'appuie sur Aevol, un logiciel conçu pour étudier l'évolution de la structure des génomes procaryotes, qui permet aux réarrangements chromosomiques d'agir directement sur la séquence génomique des individus. En utilisant Aevol, nous avons pu montrer que les réarrangements chromosomiques sont essentiels pour soutenir l'adaptation à long terme, mais aussi pour stabiliser la taille du génome. Ce résultat nous a permis de montrer, par des campagnes de simulation à grande échelle, que la pression imposée par les réarrangements sur la taille du génome est modulée à la fois par le taux de mutation (qui modifie la robustesse des génomes) et par la taille de la population (qui modifie l'efficacité de la sélection pour la robustesse). Ce résultat a ensuite été confirmé par un modèle mathématique qui met en évidence comment ces deux paramètres déterminent une proportion d'équilibre du génome non codant. La deuxième partie de la thèse se concentre sur la généralisation des résultats précédents aux génomes eucaryotes. Tout d'abord, elle présente une nouvelle version d'Aevol développée spécifiquement pour le projet, qui modélise des organismes diploïdes avec des chromosomes linéaires se reproduisant sexuellement et subissant un événement de recombinaison méiotique obligatoire. Avec ce modèle, nous montrons que les génomes de type eucaryote réagissent aux changements du taux de mutation et de la taille de la population de la même manière que les génomes de type procaryote. Dans le dernier chapitre, nous montrons que le mode de reproduction est également un déterminant important de l'architecture du génome, car l'auto-fécondation conduit à des génomes réduits. En conclusion, cette thèse de doctorat présente un nouveau cadre permettant de comprendre les aspects fondamentaux de l'évolution de la taille des génomes, en se concentrant sur l'impact direct et indirect des mutations, et en particulier des réarrangements chromosomiques, et sur la manière dont elles affectent l'avenir de chaque lignée. Nous montrons également comment d'autres paramètres, tels que la taille de la population et le mode de reproduction (asexué, sexué, autofécondation), interagissent avec ces mutations et modulent leur impact sur l'évolution de la taille du génome. L'ensemble de ces résultats contribue à une vision unifiée de l'évolution de l'architecture et de la complexité des génomes le long de l'arbre de la vie.

Effets de la troncature sur l'épaisseur de film dans les contacts ponctuels elastohydrodynamiques pivotants

Doctorant : Tristan PATRIGEON

Laboratoire INSA : LAMCOS - Laboratoire de Mécanique des Contacts et des Structures
École doctorale : ED n°162 MEGA - Mécanique, Énergétique, Génie Civil, Acoustique

Cette thèse est consacrée à l'étude des contacts pivotants situés à l'interface entre l'extrémité du rouleau et la collerette des roulements à rouleaux. Le but de cette étude est d'analyser l'influence de la proximité et de la forme du bord d'un solide sur l'épaisseur de film dans un contact élastohydrodynamique. De plus on étudie comment un mouvement de rotation peut affecter un contact tronqué. Afin d'approcher des mécanismes réalistes, l'importance de la géométrie au bord du solide est prise en compte. Une double approche numérique-expérimentale est proposée. L'épaisseur du film est calculée numériquement à l'aide d'une méthode d'Eléments Finis et est validée à l'aide de deux bancs d'essais dédiés: Jerotrib et Tribogyr. Une comparaison de l'épaisseur centrale et minimale du film est effectuée pour une arête vive, un chanfrein et un congé pour différentes distances entre le bord du solide et le centre de la zone de contact théorique. L'analyse montre une diminution exponentielle de l'épaisseur minimale du film lorsque le contact s'approche du bord, et notamment lorsque le bord entre dans la zone théorique de contact. L'influence de l'angle du chanfrein et du rayon du congé sur l'épaisseur du film est déterminée.

 

Raisonnement embarqué pour le Web des Objets

Doctorant : Alexandre BENTO

Laboratoire INSA : LIRIS - Laboratoire d'lnfoRmatique en Image et Systèmes d'information

École doctorale : n°512 lnfoMaths - Informatique et Mathématiques de Lyon

Le Web des Objets étend l'Internet des Objets avec des standards du Web, tels que des graphes de connaissances et des capacités de raisonnement. Les raisonneurs traditionnels sont optimisés pour la performance et nécessitent trop de ressources matérielles, notamment de mémoire, pour être exécutés sur les objets contraints typiquement utilisés dans les applications loT. Dans cette thèse, nous proposons des optimisations d'un algorithme de raisonnement couramment utilisé pour rendre son implémentation possible sur des objets contraints, en nous concentrant sur la réduction de l'empreinte mémoire du raisonnement. Ces optimisations sont (i) algorithmiques, tirant profit des caractéristiques des jeux de règles utilisés pour le raisonnement, et (ii) axées sur la représentation des connaissances en mémoire au sein du raisonneur. Nous proposons également LiRoT, l'implémentation d'un raisonneur léger et incrémental pouvant être embarqué sur des objets contraints, résultat de ces optimisations. Nous évaluons expérimentalement l'impact des diverses optimisations, et nous montrons qu'elles permettent de réduire significativement l'empreinte mémoire du raisonnement, tout en ayant un impact minimal sur le temps de calcul. Nous comparons également LiRoT à plusieurs raisonneurs de référence, et nous montrons qu'il est plus adapté pour traiter des jeux de données d'une taille typique des applications loT. Enfin, nous évaluons l'usage de LiRoT sur des plateformes telles qu'ESP32 et Arduino Due et montrons qu'il est possible de faire du raisonnement sur des plateformes aussi contraintes. Cette thèse a été financée par le projet CoSWoT (ANR-19-CE23-0012).

Cadre méthodologique couplant données et connaissances pour la maintenance prédictive en contexte nucléaire

Doctorante : Amaratou MAHAMADOU SALEY

Laboratoire INSA : DISP - Décision et Information pour les Systèmes de Production

École doctorale : ED512 lnfoMaths - Informatique et Mathématiques de Lyon

L'émergence des technologies numériques, des systèmes connectés et de l'IA ouvre de nouvelles perspectives pour faire évoluer les pratiques de maintenance, surtout dans une industrie comme le nucléaire. La surveillance peut devenir plus continue, plus intelligente et plus prédictive. Cette thèse CIFRE avec INEO Nucléaire vise à intégrer les nouvelles possibilités offertes par l'industrie 4.0 sans remettre en cause les pratiques de terrain éprouvées.C'est dans ce contexte que s'inscrit notre question de recherche centrale: Comment exploiter conjointement les données disponibles et les connaissances capitalisées du domaine nucléaire pour améliorer la maintenance d'un système en production, en tenant compte de l'hétérogénéité et de la complémentarité des sources d'information? Nous proposons une méthodologie globale, structurée autour du PHM (Prognostics and Health Management) et conçue pour articuler données et connaissances à chaque étape. Dans chacune de ces étapes, les connaissances issues de l'expertise terrain, des documents techniques ou des historiques de maintenance jouent un rôle actif pour guider l'analyse
des données, enrichir les modèles, ou interpréter les résultats. À partir de cette contribution méthodologique, 3 des phases du PHM sont explorées en détail: détection, diagnostic et pronostic. La première spécialisation vise à l'amélioration de la détection précoce des défauts sur des équipements nucléaires fonctionnant selon un cycle de production. Nous y spécialisons notre méthodologie globale en une méthodologie pour la détection originale basée sur un clustering multi-échelle permettant de détecter les signaux faibles annonciateurs de défaillances. La deuxième spécialisation se concentre sur l'amélioration du diagnostic dans le cas de machines tournantes au sein des installations nucléaires. Nous spécialisons notre méthodologie globale pour proposer une méthodologie hybride qui combine les données hétérogènes obtenues par augmentation des données, les connaissances explicites et tacites du domaine et les techniques d'apprentissage automatiques pour isoler les anomalies détectées et identifier leurs
causes probables. Enfin, la troisième spécialisation porte sur le pronostic. Elle explore comment les connaissances peuvent être exploitées pour améliorer la prédiction des défaillances sur des équipements nucléaires critiques selon un horizon défini. L'ensemble de ces contributions vise à faire progresser la maintenance prédictive en alimentant le PHM avec des connaissances pour intégrer durablement données et expertises dans une même méthodologie rigoureuse, outillée et opérationnelle et testée sur des équipements de l'industrie nucléaire. Nos résultats confirment la valeur ajoutée de l'hybridation des approches à bases des données et celles à bases de connaissances dans un environnement industriel exigeant.
 

Rôle de la rhéologie et de la physicochimie de l'interface dans la réponse tribologique et dynamique des systèmes frottants en composites C/C

Doctorant : Simone CIPRARI

Laboratoire INSA : LaMCoS - Laboratoire de Mécanique des Contacts et des Structures

École doctorale : ED162 : MEGA de Lyon (Mécanique, Énergétique, Génie civil, Acoustique)

Les matériaux composites carbone/carbone (C/C) sont utilisés dans de nombreuses applications de freinage haute performance, telles que le freinage aéronautique, dans lesquelles la légèreté et la résistance thermique représentent des exigences cruciales. En raison de l'intérêt croissant pour cette classe de matériaux, un grand nombre de travaux de recherche ont étudié leur réponse tribologique. Un comportement complexe, caractérisé par l'existence de différents régimes de frottement en fonction des principaux paramètres de contact (température, pression, vitesse de glissement, etc.), a été mis en évidence. Malgré la quantité de travaux consacrés à ce sujet, seuls quelques groupes de recherche ont étudié la relation entre la réponse en frottement des matériaux C/C et l'apparition de vibrations instables induites par le frottement (FIV) du système mécanique, soulignant un rôle fondamental joué par la rhéologie de l'interface sur les comportements de frottement conduisant à l'apparition d'instabilités dynamiques au contact. Dans ce cadre, cette thèse étudie le rôle du troisième corps (c'est-à-dire la couche d'interface formée par les particules d'usure et externes) sur la réponse tribologique et dynamique des systèmes de friction C/C. À cette fin, une nouvelle méthode expérimentale d'évaluation du rôle rhéologique du troisième corps est développée, en adoptant une approche indirecte. La technique de nettoyage par ultrasons est appliquée pour retirer la couche de troisième corps d'un contact C/C, ce qui permet d'effectuer des tests sur les mêmes échantillons en présence et en absence de la couche d'interface. La comparaison entre les comportements mesurés met en évidence un rôle prédominant du troisième corps dans le contrôle de la réponse globale en frottement du système, en particulier dans des conditions de température élevée. La réintroduction dans le contact d'un troisième corps externe est également étudiée, en utilisant les échantillons nettoyés, obtenus après des conditions de freinage réelles et après l'élimination de leur troisième corps naturel, en tant que substrats. La validation de cette procédure ouvre la voie à l'essai d'échantillons de troisième corps introduits artificiellement. Des observations MEB complémentaires ont été effectuées pour caractériser la couche de troisième corps observée sur les surfaces de frottement des matériaux C/C conditionnés pendant la vie en service. Des familles morphologiques du troisième corps en accord avec la littérature existante ont été identifiées, et un accent particulier a été mis sur les contaminants hétérogènes observés dans le troisième corps carboné. Ces observations ont conduit au développement des spécimens artificiels du troisième corps, destinés à reproduire le mieux possible la morphologie du troisième corps naturel, en contrôlant la présence et la morphologie des contaminants hétérogènes. À l'aide de cette méthodologie, le rôle du troisième corps et de ses caractéristiques, telles que la morphologie et la composition chimique, sur la réponse frictionnelle et dynamique du contact C/C a été analysé. L'effet de certains contaminants du troisième corps est étudié, révélant une forte sensibilité de la réponse de frottement C/C sur la nature du contaminant, même en présence d'une faible fraction d'éléments hétérogènes dans la couche de troisième corps. Chaque type de contaminant est caractérisé en termes d'effet sur les valeurs moyennes de frottement et sur la relation coefficient de frottement - vitesse, deux aspects fondamentaux pour évaluer leur impact sur l'apparition de vibrations instables induites par le frottement. Des scénarios rhéologiques sont ensuite proposés pour expliquer la réponse tribologique mesurée, en clarifiant les comportements de frottement qui conduisent à l'apparition d'une réponse dynamique instable du système.

 

Développement de matrices alcali-activées pour la stabilisation, la solidification et le stockage des déchets dangereux

Doctorant : Timothée JALLOUX

Laboratoire INSA : MATEIS - Matériaux Ingénierie et Sciences

École doctorale : ED n°34 ML - Matériaux

Les Résidus d'Epuration de Fumée d'incinération d'Ordures Ménagères (REFIOM) constituent une part importante des déchets traités par les Installations de Stockage de Déchets Dangereux (ISDD). En raison de leur fraction soluble élevée et de la présence de métaux lourds facilement lixiviables, ces déchets nécessitent une étape de solidification/stabilisation (S/5) avant stockage, habituellement réalisée par l'ajout de ciment Portland. Cependant, les évolutions de disponibilité des matières premières, la production de nouveaux déchets plus difficiles à stabiliser et la dégradation de l'image du ciment en raison de son impact carbone sont autant de raisons pour SARPI MINERAL FRANCE d'explorer de nouveaux procédés de solidification/stabilisation. Cette thèse s'est donc penchée sur le développement de matrices alcali-activées pour la stabilisation et le stockage des déchets dangereux. Du laitier moulu de hauts fourneaux est ajouté aux REFIOMs en tant qu'aluminosilicate réactif et activé par une solution de soude et de silicates de sodium. Après une caractérisation fine des REFIOMs utilisés, trois axes d'étude ont été explorés: - l'influence de la concentration en activateur, - l'influence de la concentration en silicates de sodium, - l'optimisation de la formulation par l'utilisation d'un co­ produit industriel (calcin) et d'un inhibiteur de corrosion Ca(N03)2. Les caractérisations s'étalent sur des échéances allant jusqu'à 91 jours et ont porté sur la prise des matériaux (appareil de Vicat, étalement à la table à choc), ainsi que sur leur propriétés physiques et mécaniques (masse volumique, porosité et contrainte à rupture en compression). L'évaluation de la stabilisation des polluants a été réalisée par des essais de lixiviation de durée variable (24 h et 64 jours) avec des mesures de la fraction soluble, de la concentration en anions par chromatographie ionique et de la concentration en métaux lourds par ICP. L'identification et l'évolution des phases produites en fonction du temps par l'activation alcaline ont été étudiées par diffraction des rayons X (ORX), spectrométrie infrarouge (FTIR), analyses thermiques différentielles et thermogravimétriques (ATD­ ATG) et microscopie électronique à balayage (MEB). Cette étude a permis, dans un premier temps, de prouver la faisabilité de la 5/5 par activation alcaline dans des conditions cohérentes avec la pratique industrielle. L'efficacité des produits de réaction issus de cette activation sur la stabilisation des ions chlorure et la plupart des métaux lourds a été démontrée. La forte dégradation des propriétés mécaniques et de la stabilisation en présence de macroporosité générée par un dégagement de H2 au cours de la prise des déchets stabilisés a été clairement mise en évidence aux fortes concentrations en activateur. Cette étude a également permis d'approfondir les connaissances sur la dissolution et la précipitation des laitiers en conditions alcalines dans une matrice de déchets fortement salins. Finalement, des conditions de préparation d'une solution de silicates à partir d'un déchet riche en silice, le calcin, ont pu être mises au point et l'usage des nitrates de calcium en temps qu'inhibiteur de corrosion a démontré son efficacité pour résoudre les problèmes de lixiviation engendrés par le dégagement de H2.

Eco-conception de polymères biosourcés, biodégradables et bio-insectifuges comme alternative aux pesticides chimiques conventionnels

Doctorante : Virginie LACOTTE

Laboratoire INSA : IMP - Ingénierie des Matériaux Polymères

École doctorale : ED n°34 ML - Matériaux

Les ravageurs des cultures entraînent d'importantes pertes de rendement à l'échelle mondiale. Leur lutte repose principalement sur l'utilisation de pesticides chimiques de synthèse ou de films et filets plastiques, une pratique appelée plasticulture. Toutefois, les pesticides chimiques présentent des risques pour la santé et l'environnement, tandis que les biopesticides manquent souvent de stabilité. Par ailleurs, la plasticulture, reposant sur des polymères fossiles non biodégradables, n'assure pas une protection totale contre les insectes. Bien que des alternatives à base de biopolymères émergent, leurs propriétés physiques doivent encore être améliorées. Les plastiques fonctionnalisés avec des pesticides offrent une solution prometteuse, agissant à la fois comme barrière physique et chimique contre les ravageurs, garantissant la stabilité des pesticides et leur libération contrôlée, et améliorant les propriétés des polymères. Cette thèse explore le potentiel de cette approche innovante en développant un polymère biosourcé, biodégradable et bio-insectifuge. Des huiles essentielles (HEs) ont été incorporées au polybutylène succinate-co-adipate (PBSA) par extrusion à basse température afin de préserver leur stabilité et de créer des films agricoles actifs. La libération contrôlée des HEs dans la matrice PBSA a permis de repousser efficacement les pucerons pendant plus d'un an dans des conditions simulant un environnement agricole. De plus, les HEs ont amélioré l'hydrophobicité et la ductilité des films, réduisant leur sensibilité à l'hydrolyse et au déchirement. Après un an d'exposition, la plupart des formulations ont conservé de bonnes propriétés. Enfin, les films se sont biodégradés rapidement dans le sol, notamment en présence d'HE, atteignant une dégradation quasi complète en quelques mois. La prochaine étape consistera à tester ces films en conditions réelles et contre d'autres ravageurs, tout en s'assurant qu'ils n'aient aucun impact négatif sur les espèces non ciblées. Dans un contexte où des solutions durables pour la protection des cultures sont essentielles à la sécurité alimentaire et à la préservation de l'environnement, ce polymère biosourcé, biodégradable et bio-insectifuge représente une alternative prometteuse et innovante.

Perception de la direction et de la largeur des sources fantômes dans un contexte de reproduction audio en environnement automobile

Doctorant : Thomas CHARPENTIER

Laboratoire INSA : LVA - Laboratoire Vibrations Acoustique

École doctorale : ED n°162 MEGA - Mécanique, Énergétique, Génie Civil, Acoustique
 

Cette thèse a pour but d'identifier et de caractériser quelques attributs relatifs à la spatialisation sonore dans une voiture, c'est-à-dire ce qui concerne la dispersion spatiale des sources et de l'environnement d'enregistrement. Cette thèse se concentre principalement sur les contenus stéréophoniques à deux canaux, droite et gauche, qui sont le format le plus largement diffusé aujourd'hui. Dans un premier temps, une recherche bibliographique a permis d'identifier et de hiérarchiser les attributs liés à la scène sonore qui peuvent être divisés en deux groupes: la localisation et l'immersion. En comparant les résultats de plusieurs études dans le premier chapitre, il est montré que la direction et de la largeur des sources virtuelles sont les attributs les plus importants dans le contexte automobile. Ainsi, un protocole expérimental de perception de la direction a été développé dans une seconde partie. Une fois le protocole validé, plusieurs expériences ont été réalisées dans des voitures. Les données provenant de ces expériences ont été comparées avec plusieurs modèles perceptifs, basés sur des enregistrements binauraux ou sur des données géométriques. Il est démontré qu'un de ces modèles a la capacité de prédire la position perçue des sources virtuelles. Dans un dernier chapitre, en utilisant les connaissances issues de la première partie ainsi que de la littérature, plusieurs réglages audio ont été proposés afin que le centre d'une piste stéréophonique soit perçu devant un ou les deux passagers avant. A partir de ces réglages, une expérience perceptive de la direction et de la largeur a été réalisée dans une voiture. Les résultats de cette expérience démontrent les limites du modèle validé dans la première partie, car celui-ci fonctionne seulement dans un certain cadre. Cependant, les résultats ont permis de valider et de comparer les différentes approches de réglages. Enfin, les données expérimentales sur la largeur ont été comparées avec plusieurs modèles perceptifs. Deux modèles ont révélé être cohérent avec les données expérimentales : un modèle binaural, basé sur le calcul des indices interauraux et de la probabilité que ceux-ci correspondent à des sources réelles à différents degrés d'azimut, et la fraction latérale de l'énergie. Pour conclure, cette thèse a permis de mettre en lumière un modèle capable de prédire la perception de la direction des sources sonores virtuelles dans le plan horizontal au sein d'un habitacle automobile. Bien qu'il ait été démontré que ce modèle fonctionne uniquement dans un cadre bien défini, le fait même qu'il ait fonctionné nous apporte de précieuses informations sur le mécanisme de perception de la scène sonore dans un tel contexte. De plus, en s'inspirant de ce modèle et d'autres études, il a été prouvé expérimentalement que plusieurs méthodes de réglage permettent de positionner une source virtuelle à une position donnée, de manière à ce qu'elle soit perçue de la même façon par les passagers de gauche et de droite dans leur propre référence. L'avantage de ces méthodes réside dans leur automatisation quasi totale. Par ailleurs, le modèle binaural permet d'estimer la qualité de restitution des sources virtuelles en termes de largeur sur le plan horizontal, et même de direction dans certains cas. Ce modèle peut ainsi être utilisé pour comparer différentes architectures audio ou réglages sans a priori sur les algorithmes employés. Bien entendu, d'autres études sont nécessaires, par exemple pour développer un modèle capable d'estimer la direction d'une source virtuelle dans tous les contextes. De plus, d'autres attributs perceptifs méritent d'être étudiés, tels que la perception de la distance et de l'immersion.

 

Résilience à la collusion dans les mécanismes de places de marché décentralisées

Doctorant : Matthieu BETTINGER

Laboratoire INSA : LIRIS - Laboratoire d'lnfoRmatique en Image et Systèmes d'information

École doctorale : ED512 Infomaths (Informatique et Mathématiques de Lyon)

Les places de marché décentralisées dans le Web3 cherchent à protéger leurs utilisateurs contre la censure, les biais et les points de défaillance uniques qui peuvent exister dans leurs homologues centralisés. Pourtant, certains mécanismes ont tendance à rester centralisés, par exemple le moteur de recherche permettant de découvrir de nouvelles ressources sur le marché. De telles vulnérabilités ont été exploitées sur des places de marché décentralisées ces dernières années : il est d'autant plus essentiel de fournir des mécanismes de protection. Dans cette thèse, nous proposons des protocoles pour assurer la fiabilité et l'équité des mécanismes des places de marché, notamment par la résilience à la collusion d'acteurs malveillants. Tout d'abord, pour traiter la sélection décentralisée d'un sous-ensemble de participants parmi une population comprenant des acteurs malveillant, nous proposons un protocole basé sur la blockchain pour éviter que les acteurs malveillants n'influencent la sélection à leur avantage. Ensuite, en considérant des ensembles de participants sélectionnés qui travailleront ensemble sur des tâches dans une place de marché décentralisée de ressources cloud, dans un environnement sans accès à des informations fiables ou non confidentielles, nous présentons un mécanisme d'incitation qui punit ou récompense collectivement les participants aux tâches en fonction du résultat de leurs tâches. Nous décrivons et évaluons également la manière d'atteindre un taux de réussite cible des tâches de la place de marché : l'algorithme que nous proposons est capable d'atteindre les objectifs définis et de réduire par 5 à 10 fois le taux d'échec par rapport à un système sans protection. Par ailleurs, nous montrons comment les fournisseurs du moteur de recherche d'une place de marché décentralisée peuvent favoriser un sous-ensemble d'utilisateurs du moteur de recherche. Nous protégeons ces moteurs de recherche avec notre protocole COoL-TEE, qui permet aux utilisateurs honnêtes d'éviter les fournisseurs malveillants de ce moteur de recherche, qui retardent de manière sélective les réponses au profit des utilisateurs qui les soudoient. Les utilisateurs honnêtes collaborent avec des environnements d'exécution de confiance (Trusted Execution Environment, TEE) au sein des machines hôtes des fournisseurs du moteur de recherche, afin de sélectionner des fournisseurs proches, rapides et honnêtes. A partir de simulations d'utilisateurs envoyant des requêtes depuis le monde entier à des fournisseurs géo-distribués hébergés dans des centres de données, nous illustrons comment COoL-TEE réduit l'avantage des utilisateurs malveillants à un niveau proche d'un scénario sans attaques. Enfin, de nombreux protocoles traditionnels et basés sur les TEEs requièrent des mesures temporelles fiables pour leur logique d'exécution, y compris COoL­ TEE. Cependant, des attaquants qui contrôlent le système d'exploitation sont capables d'attaquer la perception du temps du TEE et, par conséquent, de manipuler les protocoles utilisant les mesures temporelles fournies. Nous contribuons une implémentation publique du protocole d'état-de-l'art Triad, dont le code source est fermé, et nous menons des attaques sur celui-ci de manière empirique. Sa calibration peut être manipulée pour affecter la vitesse d'horloge perçue par le TEE. En outre, les attaques sur une machine compromise peuvent se propager aux machines honnêtes participant au protocole de temps de confiance de Triad. Nous discutons comment atténuer ces vulnérabilités afin d'améliorer la résilience contre de telles attaques.