|
|<
<< Page précédente
1
2
3
4
5
6
7
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Titre
Auteur
|
|
Informatique
/ 19-12-2023
Cheriere Agathe
Voir le résumé
Voir le résumé
Depuis une trentaine d’années, nous avons connaissance d’attaques ciblant des implantations de cryptosystèmes, exploitant des informations physiques telles que temps d’exécution. Il est donc naturel de se demander quelles menaces représentent ces attaques pour les implantations de schémas post-quantiques qui seront déployées dans l’industrie. Dans cette thèse, nous nous intéressons plus particulièrement à la résistance des algorithmes cryptographiques à base de codes correcteurs d’erreurs, vis à vis des attaques par canaux auxiliaires. Nous nous sommes focalisés sur deux schémas, ROLLO et BIKE, candidats au second tour de la standardisation post-quantique du NIST. Nous montrons à travers nos travaux que leur implantation en temps constant est notamment vulnérable aux attaques par analyse de consommation de courant. Pour mettre en évidence ces vulnérabilités, nous utilisons des techniques tels que l’apprentissage automatique et l’algèbre linéaire. De plus, pour les deux schémas, une seule trace de la consommation de courant est nécessaire pour remonter à la clé privée. Suite à la mise en évidence de ces vulnérabilités, nous proposons des stratégies de contre-mesures visant à prévenir ces attaques tout en maintenant le temps constant.
|
|
Informatique
/ 18-12-2023
Raimondi Gautier
Voir le résumé
Voir le résumé
De par leur omniprésence, la sécurité des systèmes informatiques est un enjeu majeur. Dans cette thèse, nous visons à garantir une sécurité contre un certain type d'attaque : les attaques par canal caché temporel. Ces attaques utilisent le temps d'exécution d'un programme pour déduire des informations sur le système. En particulier, on dit d'un programme qu'il est constant-time lorsqu'il n'est pas sensible à ce type d'attaques. Cela passe par des contraintes sur le programmes, qui ne doit ni réaliser de décisions en utilisant de valeurs secrètes, ni utiliser un de ces secrets pour accéder à la mémoire. Nous présentons dans ce document une méthode permettant de garantir la propriété constant-time d'un programme. Cette méthode est une transformation à haut niveau, suivi d'une compilation par Jasmin pour préserver la propriété. Nous présentons également la preuve de la sécurité et de la préservation sémantique de cette méthode.
|
|
Chimie moléculaire et chimie macromoléculaire
/ 15-12-2023
Brouillac Clément
Voir le résumé
Voir le résumé
L’électronique organique (EO) s’articule autour de l’utilisation des semi-conducteurs organiques (SCOs). Les diodes organiques électroluminescentes (OLEDs) font partie des technologies électroniques les plus matures et sont déjà présentes dans nos smartphones, ordinateurs et téléviseurs. Durant cette thèse, nous nous sommes particulièrement intéressés à l’élaboration de matrices hôtes pour la seconde génération d’OLEDs : les diodes organiques électrophosphorescentes (PhOLEDs). Deux design moléculaires différents ont été conçus avec deux objectifs différents. Le premier objectif consiste à développer de nouvelles matrices hôtes utilisant l’architecture Donneur-spiro-Accepteur pour des PhOLEDs monocouches, qui sont des dispositifs simplifiés utilisant seulement les électrodes et la couche émissive. Ces travaux ont conduit à la fabrication de PhOLEDs monocouches des trois couleurs présentes dans un pixel (rouge, vert et bleu), et des couleurs pour l’éclairage (jaune et blanc). Des records de performances ont été obtenus.
Le deuxième objectif consiste à développer de nouveaux SCOs appelés nano-anneaux. Après un chapitre bibliographique analysant les performances des nano-anneaux en EO, nous présenterons une étude de structure/propriétés de nano-anneaux donneur-accepteur. Ces travaux, nous ont permis de mieux comprendre les propriétés singulières de ces composés cycliques à base de carbazoles, qui ont ensuite ont été incorporés dans des PhOLEDs multicouches pour évaluer leurs performances en tant que matrice hôtes. Ces travaux représentent les premiers exemples du domaine.
|
|
Pharmacie
/ 15-12-2023
Jude Axelle
Voir le résumé
Voir le résumé
La gestion des risques est cruciale dans toute entreprise pharmaceutique, car elle vise à éliminer ou réduire les risques susceptibles de compromettre la qualité des produits pharmaceutiques. Parmi ces risques, la contamination croisée est particulièrement surveillée, car elle peut avoir des conséquences graves sur la santé des patients et la réputation de l'entreprise. Pour assurer une maîtrise efficace de ce risque, les entreprises doivent se conformer à des réglementations strictes, définies dans des référentiels et des guides. Ces documents fournissent des principes fondamentaux en matière de gestion des risques liés à la qualité et répertorient divers outils permettant d'évaluer et de maîtriser ces risques. L'analyse de risque revêt une importance particulière dans ce processus. Elle permet de hiérarchiser les risques et de mettre en place des mesures correctives ou préventives appropriées. Elle s'avère essentielle pour identifier et évaluer les risques à chaque étape de la production, garantissant ainsi que les produits répondent à toutes les exigences réglementaires.
|
|
Pharmacie
/ 15-12-2023
Lafarge Alice
Voir le résumé
Voir le résumé
La dénutrition impacte plus de 2 millions de personnes en France et 30% des personnes hospitalisées. Devenue un réel problème de santé publique, différents organismes tels que la Haute Autorité de Santé ou encore la Société Francophone de Nutrition Clinique et Métabolique ont établis des recommandations et des arbres de prises en charge nutritionnelles. La dénutrition est à la fois une cause et une conséquence de diverses pathologies, dont la Covid-19. Cette pandémie, arrivée en 2020, a eu un impact important sur le nombre de patients hospitalisés notamment dans les services de réanimation. Pour répondre aux besoins nutritionnels des malades et au caractère contagieux de la Covid-19, la prise en charge nutritionnelle de ces patients à risque de dénutrition en réanimation a été modifiée. Nécessaire au bon rétablissement des patients infectés par la Covid- 19, cette prise en charge nutritionnelle apparaît comme une étape indispensable dans la prise en charge des services de réanimation.
|
|
Signal, image, vision
/ 15-12-2023
Wang Yuding
Voir le résumé
Voir le résumé
Avec le développement de systèmes de prise de décision automatisés et optimisés, le partitionnement de grands flux de données, qui ne dépend pas d'échantillons d'apprentissage, attire de plus en plus l'attention. Dans l'état de l'art, la majorité des méthodes de partitionnement de flux de données sont paramétriques, ce qui nécessite la spécification d'un ou plusieurs paramètres définis par l'utilisateur et/ou du nombre de classes avant le processus de partitionnement. En effet, dans les applications pratiques, obtenir des connaissances a priori sur l'ensemble de données et déterminer les valeurs de paramètres optimales à l'avance est un défi. Par conséquent, notre recherche se concentre sur le développement d'une méthode non supervisée et non paramétrique facile à utiliser par les utilisateurs, bénéficiant du fait qu'elle élimine le besoin de connaissances a priori et supprime la nécessité de régler les paramètres de manière empirique. La méthode développée peut estimer de manière autonome le nombre de classes et partitionner le flux de données. Elle est efficace pour partitionner un flux de données de grandes tailles spatiale et spectrale, en particulier les flux de données hyperspectraux. La méthode proposée a été évaluée sur des bases de données réelles et synthétiques. Selon plusieurs critères d'évaluation objectifs, elle surpasse les cinq méthodes de partitionnement de flux de données comparées (trois méthodes paramétriques non supervisées, une méthode semi-supervisée et une méthode supervisée utilisant l'apprentissage actif).
|
|
Informatique
/ 15-12-2023
Patat Gwendal
Voir le résumé
Voir le résumé
Les systèmes opaques présentent un défi unique pour la gestion des droits numériques, ou Digital Right Management (DRM), Widevine en étant une illustration clé. Malgré son utilisation répandue, ce système DRM a révélé des vulnérabilités importantes dans la protection du contenu propriétaire. Dans cette thèse, nous disséquons le fonctionnement interne de Widevine et analysons comment cette opacité entrave la sécurité tant pour les fournisseurs de contenu, appelés platforme Over-the-Top (OTT), que pour les utilisateurs. Nous explorons sa mise en utilisation sur les plateformes OTT, identifiant les obstacles qui empêchent son utilisation complète. Les préoccupations en matière de confidentialité sont également abordées, alors que nous enquêtons sur des problèmes d'implémentation au sein des navigateurs internet lors de la standardisation des systèmes DRM par la W3C avec la recommandation Encrypted Media Extension (EME). Ces résultats ne dévoilent pas seulement des problèmes liés à Widevine, mais signalent également des voies de recherche futures dans le paysage DRM plus large, soulignant la nécessité de transparence, de sécurité et de conception centrée autour des utilisateurs.
|
|
Sciences des matériaux
/ 14-12-2023
Zhang Jiajie
Voir le résumé
Voir le résumé
Dans cette thèse, des verres dans le système pseudo-ternaire Na2S–Ga2S3–GeS2 ont été synthétisés, et leurs propriétés thermiques, structurales et conductrices ont été étudiées. De plus, la synthèse d’une composition cristalline particulière de ce système a été étudiée, NaGaGeS4. Tout d'abord, les verres de composition x[Na2S]–(100-x) x[Na2S]–(100-x) [0.5GeS2–0.5Ga2S3] ont été préparés via un processus de synthèse en deux étapes (fusion-trempe et méchanosynthèse). Une large gamme de compositions a été obtenue (10 ≤ x ≤ 75). La spectroscopie Raman a été utilisée pour étudier la structure du verre en fonction de la teneur en Na2S. Elle a révélé un effondrement
constant du réseau basé sur les tétraèdres Ga(Ge)S4/2 avec l'ajout de Na2S, ainsi que la formation de soufre non pontant dans le réseau du verre. La conductivité la plus élevée à température ambiante est obtenue pour l'échantillon avec x=75 (σ = 1.8 × 10-5 S.cm-1). La conductivité la plus élevée est atteinte pour le même échantillon à 90 °C (σ = 1.0 × 10-3 S.cm-1). Une tentative de préparation de NaGaGeS4 a été menée. L'analyse par DRX a révélé que sa structure cristalline était similaire à celle de Na2Ga2GeS6. Une meilleure conductivité ionique a été obtenue par rapport à son homologue vitreux, grâce à sa structure qui favorise la mobilité des porteurs de charge.
|
|
Mathématiques et leurs interactions
/ 14-12-2023
Tran Thu le
Voir le résumé
Voir le résumé
L’optimisation convexe est fréquente en apprentissage automatique, statistiques, signal et image. La résolution de problèmes d'optimisation en grande dimension reste difficile en raison de contraintes calculatoires et de stockage. La dernière décennie, les méthodes de ''safe screening'' sont devenues un outil puissant pour réduire la dimension de ces problèmes en se basant sur la connaissance d'une ''safe region'' contenant la solution optimale duale. La première contribution de cette thèse est un cadre mathématique pour créer de nouvelles ''safe region'' tout en démontrant leur supériorité par rapport à l'état de l'art. Notre cadre offre également une manière élégante d’unifier les ''safe regions'' existantes. Cette contribution établit en particulier une base théorique pour les futures avancées dans l’étude des ''safe region''. La seconde contribution est une extension de la méthodologie de ''safe screening'' à des problèmes en dimension infinie. Nous montrons notamment que l’intégration de cette méthode dans un algorithme de l'état de l'art permet de réduire significativement sa complexité numérique tout en préservant sa propriété de convergence. Cette contribution met en évidence le potentiel du ''safe screening'' pour résoudre efficacement les défis calculatoires dans des contextes de dimension infinie.
|
|
Biologie moléculaire et structurale, biochimie
/ 14-12-2023
Mascary Jean-Baptiste
Voir le résumé
Voir le résumé
L'objectif de la thèse était d'évaluer le potentiel thérapeutique d'un nouveau pseudopeptide antimicrobien, nommé Pep16, à la fois in vitro et in vivo pour le traitement de l'arthrite septique causée par Staphylococcus aureus. Sept isolats cliniques de S. aureus (dont 1 SARM et 5 SASM) ont été étudiés. Les CMI de Pep16 et des comparateurs (vancomycine, teicoplanine, daptomycine et lévofloxacine) ont été déterminées par la méthode de microdilution en bouillon. L'activité intracellulaire de Pep16 et de la lévofloxacine a été évaluée en utilisant deux modèles d'infection, avec des cellules phagocytaires non-professionnelles (ostéoblastes MG-63) ou professionnelles (macrophages THP-1). L'impact de Pep16 sur la dynamique de croissance du biofilm a été évalué. Un modèle murin d'arthrite septique a été utilisé pour évaluer l'efficacité in vivo de Pep16. Une analyse PK préliminaire a été effectuée en mesurant la concentration plasmatique par LC-MS/MS après une seule injection sous-cutanée de Pep16. Les CMI de Pep16 étaient de 8 mg/L pour tous les isolats cliniques de S. Aureus (de 2 à 32 fois supérieures à celles des comparateurs) tandis que les ratios CMB/CMI confirmaient une activité bactéricide. Tant Pep16 que la lévofloxacine (à 2 x CMI) ont réduit de manière significative la charge bactérienne de tous les isolats testés (2 SASM et 2 SARM) à la fois dans les ostéoblastes et les macrophages. Pep16 a réduit de manière significative les charges bactériennes dans les articulations des genoux des souris infectées par SASM. L'analyse PK après une seule administration sous-cutanée de Pep16 (10 mg/kg) a montré une augmentation lente des concentrations plasmatiques jusqu'à 12 heures (Cmax à 5,6 mg/L).
|
|
|<
<< Page précédente
1
2
3
4
5
6
7
Page suivante >>
>|
|
documents par page
|