Modélisation et validation des générateurs de nombres aléatoires cryptographiques pour les systèmes embarqués - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2015

Modeling and validation of cryptographic random number generators for embedded systems

Modélisation et validation des générateurs de nombres aléatoires cryptographiques pour les systèmes embarqués

Résumé

The purpose of this thesis focuses on the mathematical modeling of physical random number generators, especially in the context of embedded systems. The main axes are the stochastic modeling of entropy sources, the establishment of appropriate statistical tests and the exploitation of detected weaknesses.
L’objet de cette thèse porte sur la modélisation mathématique des générateurs physiques de nombres aléatoires, tout particulièrement dans le contexte des systèmes embarqués. Les axes principaux sont les modèles stochastiques des sources d'entropie, l’établissement de tests statistiques adaptés et l’exploitation des défauts détectés.
Fichier principal
Vignette du fichier
these.pdf (5.43 Mo) Télécharger le fichier

Dates et versions

tel-01679319 , version 1 (12-02-2016)
tel-01679319 , version 2 (09-01-2018)

Identifiants

  • HAL Id : tel-01679319 , version 1

Citer

Kevin Layat. Modélisation et validation des générateurs de nombres aléatoires cryptographiques pour les systèmes embarqués. Mathématiques [math]. Université Grenoble Alpes, 2015. Français. ⟨NNT : ⟩. ⟨tel-01679319v1⟩
687 Consultations
299 Téléchargements

Partager

Gmail Facebook X LinkedIn More