Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

These rauzy Formal sofwtare methods for cryptosystems implementation security Pablo Rauzy To cite this version Pablo Rauzy Formal sofwtare methods for cryptosystems implementation security Cryptography and Security cs CR T ?el ?ecom ParisTech English ? NN

Formal sofwtare methods for cryptosystems implementation security Pablo Rauzy To cite this version Pablo Rauzy Formal sofwtare methods for cryptosystems implementation security Cryptography and Security cs CR T ?el ?ecom ParisTech English ? NNT ENST HAL Id tel- https pastel archives-ouvertes fr tel- Submitted on Jul HAL is a multi-disciplinary open access archive for the deposit and dissemination of scienti ?c research documents whether they are published or not The documents may come from teaching and research institutions in France or abroad or from public or private research centers L ? archive ouverte pluridisciplinaire HAL est destin ?ee au d ?ep ot et a la di ?usion de documents scienti ?ques de niveau recherche publi ?es ou non ?emanant des ?etablissements d ? enseignement et de recherche fran cais ou ?etrangers des laboratoires publics ou priv ?es C -ENST- EDITE - ED Doctorat ParisTech THÈSE pour obtenir le grade de docteur délivré par TELECOM ParisTech Spécialité Informatique ? présentée et soutenue publiquement par Pablo Rauzy le juillet Méthodes logicielles formelles pour la sécurité des implémentations cryptographiques Directeur de thèse Sylvain Guilley Jury M François DUPRESSOIR Chercheur IMDEA Software Institute M Pierre-Alain FOUQUE Professeur Université Rennes Mme Karine HEYDEMANN Ma? tre de Conférence UPMC M David NACCACHE Professeur Université Panthéon-Assas Mme Marie-Laure POTET Professeure Ensimag M Medhi TIBOUCHI Chercheur NTT M David VIGILANT Chercheur Gemalto T Examinateur H Rapporteur Examinatrice È Président Rapporteuse S Examinateur Invité E TELECOM ParisTech école de l ? Institut Mines-Télécom - membre de ParisTech rue Barrault Paris - - www telecom-paristech fr C CRefaire un peu le monde en posant des questions Essayer d ? y répondre avec de la technique Créer l ? étonnement être pédagogique Ha? ssant les erreurs aimant les suggestions Ecrire des papiers et des présentations Riez de cette fable en vérité tragique Cachant tant bien que mal la formule magique ??H-index labidex ? Comptez vos citations Et multipliez par un jour de Lune noire Le nombre de majeurs se levant à leur gloire In exiblement droits des mains des éditeurs Bien Vous venez de faire un petit peu de science Résolument valide aux yeux de la ?nance Et si nous disions ??zut ? à ces inquisiteurs ?? p bl C CAvant-propos x Contexte Ma thèse s ? est déroulée à Télécom ParisTech dans les locaux situés rue Dareau dans le ème arrondissement de Paris au sein de l ? équipe SEN Sécurité Électronique Numérique du département COMELEC Communication et Électronique du LTCI Laboratoire Traitement et Communication de l ? Information UMR commune avec le CNRS Les activités de l ? équipe se focalisent autour de trois thèmes de recherche les contraintes de sécurité sont traitées dans la thématique Matériel pour l ? informatique sécurisée et de con ?ance Trusted Computing Hardware les contraintes de ?abilité sont traitées dans la thématique Analyse et concep- tion de processeurs ?ables basés sur des technologies non ?ables Analysis and Design of Reliable Processeurs Based on Unreliable Technologies les contraintes de complexité et de consommation sont