En cryptographie, l'utilisation de nombres aléatoires est fréquente (graine, token, ...) et une mauvaise génération d'aléa peut compromettre toute la sécurité d'un protocole, comme en témoigne régulièrement l'actualité. Les générateurs de nombres aléatoires à usage cryptographique sont des composants formés de trois modules : la source brute qui produit de l'aléa (un algorithme ou un phénomène physique), un retraitement pour corriger les défauts de la source, et un retraitement cryptographique pour obtenir l'aléa final. Cette thèse se focalise sur l'analyse des générateurs issus d'une source physique, en vue de dégager des retraitements adaptés à leurs propriétés et résistants à des perturbations de leur environnement d'utilisation. La complexité des dispositifs entravant souvent la formulation explicite d'un modèle stochastique prouvé, leur évaluation repose principalement sur une analyse statistique. Or, les tests statistiques, principale méthode recommandée par les institutions gouvernementales (ANSSI, BSI, NIST) pour certifier ces composants, peuvent détecter des anomalies mais ne permettent pas de les identifier, et de les caractériser. Les travaux de cette thèse structurent la modélisation d'une source d'aléa, vue comme une suite de variables aléatoires, affinent les tests statistiques, et ajoutent une analyse temporelle pour détecter et expliciter ses anomalies au niveau global ou local. Les résultats ont été implantés dans une librairie composée d'un simulateur de perturbations, des outils statistiques et temporels obtenus, des batteries de tests recommandées (FIPS, AIS31, Test U01, SP800), et de retraitements appropriés à certaines anomalies. La structure mise en place a permis d'extraire des familles d'anomalies de motifs dont les propriétés rendent certains tests incapables de distinguer la source anormale d'une source idéalement aléatoire. L'analyse des faiblesses inhérentes aux méthodes statistiques a montré que l'interprétation d'un test par intervalle de rejet ou taux de réussite n'est pas adapté à la détection de certaines fautes de transition. Elle a aussi permis d'étudier les méthodes d'estimations d'entropie, notamment les estimateurs proposés dans la norme SP800-90. Par ailleurs, les paramètres de spécifications de certains générateurs, dont un déduit du standard de chiffrement AES, se sont avérés distinguables grâce aux statistiques de test. Les outils temporels développés évaluent la structure des anomalies, leur évolution au cours du temps et analysent les motifs déviants au voisinage d'un motif donné. Cela a permis d'une part d'appliquer les tests statistiques avec des paramètres pertinents, et d'autre part de présenter des retaitements dont la validité repose sur la structure des anomalies et non sur leur amplitude. / While random numbers are frequently used in cryptography (seed, token, ...), news regurlarly prove how bad randomness generation can compromise the wole security of a protocol. Random number generators for crypthography are components with three steps : a source (an algorithm or physical phenomenon) produces raw numbers which are two times postprocessed to fix anomalies. This thesis focuses on the analysis of physical random bit generators in order to extract postprocessing which will be adapted to the anomalies of the source. As the design of a physical random bit generator is complex, its evaluation is mainly a statistical analysis with hypothesis testing. However, the current standards (AIS31, FIPS140-2, Test U01, SP800) can not provide informations to characterize anomalies. Thus, this thesis adjust several tests and add a time analysis to identify and to make global and local anomalies explicit. A C library was developped, providing anomalies simulator and tools to apply statistical and time analysis results on random bit generators.

Le marché du stockage de l'énergie est en perpétuelle expansion, tant pour les applications nomades que fixes. Afin de répondre aux exigences requises pour les diverses applications (appareils électroniques, véhicules hybrides et électriques, stockage des énergies renouvelables…), des batteries toujours plus performantes, compactes et légères doivent être développées. Pour cela, les batteries utilisant du lithium métallique en tant qu'anode sont les plus attractives en termes de densités d'énergies. Néanmoins, l'utilisation d'électrolytes liquides conventionnels, généralement des solvants organiques inflammables, dans de tels dispositifs soulève des problématiques de sécurité. Les travaux de recherche présentés dans ce manuscrit concernent l'étude de matériaux vitreux pouvant être utilisés en tant qu'électrolyte solide afin de permettre le développement de batteries tout-solide sûres et performantes. Des verres de sulfures au lithium, attractifs pour leurs propriétés de conduction ionique, sont étudiés et caractérisés. Les propriétés de conduction ionique dans les verres étant toujours mal comprises et sujettes à controverses, l'analyse structurale des verres présente ici un réel intérêt pour une meilleure compréhension des corrélations entre structure et propriétés. Un effort de recherche a donc été porté sur l'étude de l'ordre local dans les verres préparés via différentes techniques d'analyse structurale complémentaires. Enfin, les matériaux vitreux, sont de manière générale relativement faciles à mettre en forme. Les verres étudiés dans ce manuscrit peuvent alors également être utilisés en tant qu'électrolytes sous forme de couches minces dans les micro-batteries. Des premiers essais de dépôts par pulvérisation cathodique RF magnétron de couches minces conductrices ont donc été effectués et constituent la première brique à la fabrication de micro-batteries. / The energy storage market is in constant growth for both portable and stationary applications. To satisfy the requirements of various applications (electronic devices, hybrid-electric vehicles, renewable energy storage…), always more efficient, more compact and lightweight batteries have to be developed. Then, thanks to their high energy densities, batteries using Li metal anodes are the most promising to complete this challenge. However, the use of conventional liquid electrolytes raises safety issues, mainly related to the flammability of the organic liquid. In this thesis, glassy materials, exhibiting great interest towards developing solid electrolytes are considered and might enable the development of safe and efficient all-solid-state batteries. Here, Li-sulfide glasses, attractive for their ionic conduction properties, have been studied and characterized. The ionic conduction properties of glasses are still misunderstood and controversial, the structural investigation of glasses is of great interest in order to get a better understanding of structure-properties relationship. Then, the short and intermediate range order of prepared glasses have been investigated by the mean of various complementary structural analysis techniques. Finally, glassy materials are usually quite easy to shape. Thus, studied glasses in this thesis can also be used as thin-film electrolytes in microbatteries. First tests of sputtering of conducting thin-films have been performed by RF magnetron sputtering and constitute a first step in order to design microbatteries.

Dans le cadre du transport de marchandises par voie ferroviaire, un certain nombre de verrous limitent les efforts consentis pour un fret plus "propre". Des améliorations doivent être faites afin de limiter le nombre de locotracteurs assurant les charges/décharges de marchandises en bout de ligne. Dans cette perspective, FEMTO-ST et Alstom Transport ont pour objectif de concevoir et développer un système de gestion d'énergie pour locomotive électrique hybride. Composée d'un groupe électrogène couplé à des accumulateurs électrochimiques et des super-condensateurs, la locomotive électrique hybride permet d'accroître la souplesse et l'efficacité du transport ferroviaire électrique, tout en réduisant encore son impact environnemental. Cette étude a consisté dans un premier temps à développer une modélisation macroscopique de la chaîne de traction électrique hybride et à proposer une structuration de la commande avec l'identification des capteurs matériels et logiciels nécessaires au contrôle optimal de la chaîne de traction. La caractérisation expérimentale des moyens de stockage a permis l'amélioration comportementale et dynamique des modèles correspondant. Dans un second temps, le contrôle de la tension de sortie d'un hacheur dévolteur a permis d'étudier l'application de la logique floue de type-2 (intervalle et générale) dans le cas d'applications industrielles (relativement simples). Enfin, une gestion innovante des flux d'énergie au sein d'un système plus complexe: locomotive électrique hybride, a été développée. Mettant en œuvre la logique floue de type-2 et des algorithmes s'inspirant de la théorie de l'évolution, cette gestion d'énergie optimale opère en temps réel et sans connaissance à priori du cycle de conduite. La gestion fréquentielle ainsi que le contrôle des états de charge des sources secondaires du véhicule contribuent également à leur bon fonctionnement. / To achieve a "greener" freight transport, efforts are still needed to overcome some technological barriers. New improvements must be carried at to limit the shunting locomotives' use intended for the goods' load/unload. Considering this aim, FEMTO-ST and Alstom Transport decided to conceive and develop an energy management strategy system for hybrid electric locomotives. Such locomotives include a diesel driven generator set which is coupled with batteries and ultra-capacitors. The architecture aims at improving the flexibility, the effectiveness of the electrical railway transport and at reducing the environmental impact of these activities again. Firstly, the study consists in implementing a macroscopic modelling of the hybrid electric powertrain. Then, the control is optimally designed by identifying the hardware and software sensors of the powertrain. The dynamics and the behavior of the secondary sources' models are improved thanks to their experimental characterizations. Secondly, the use of Type-2 Fuzzy Logic (interval and general) controllers permits to study their efficiency in the control of a very simple industrial system: the output voltage of a buck converter. Lastly, based on the obtained results, an innovative management of the system's energy flows is developed in the case of the hybrid electrical locomotive. The use of the type-2 fuzzy logic and evolutionary algorithms permit to optimally perform a real time energy management strategy without a priori knowledge of the duty cycle. The frequency approach and the secondary sources' state of charge control contribute to their efficient use.