Formal Software Methods for Cryptosystems Implementation Security

Résumé : Les implémentations cryptographiques sont vulnérables aux attaques physiques, et ont donc besoin d'en être protégées. Bien sûr, des protections défectueuses sont inutiles. L'utilisation des méthodes formelles permet de développer des systèmes tout en garantissant leur conformité à des spécifications données. Le premier objectif de ma thèse, et son aspect novateur, est de montrer que les méthodes formelles peuvent être utilisées pour prouver non seulement les principes des contre-mesures dans le cadre d'un modèle, mais aussi leurs implémentations, étant donné que c'est là que les vulnérabilités physiques sont exploitées. Mon second objectif est la preuve et l'automatisation des techniques de protection elles-même, car l'écriture manuelle de code est sujette à de nombreuses erreurs, particulièrement lorsqu'il s'agit de code de sécurité.
Type de document :
Thèse
Cryptography and Security [cs.CR]. Télécom ParisTech, 2015. English. 〈NNT : 2015-ENST-0039〉
Liste complète des métadonnées

Littérature citée [111 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01208533
Contributeur : Pablo Rauzy <>
Soumis le : vendredi 2 octobre 2015 - 17:24:32
Dernière modification le : mardi 6 octobre 2015 - 01:00:41
Document(s) archivé(s) le : dimanche 3 janvier 2016 - 10:55:58

Fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : tel-01208533, version 1

Collections

Citation

Pablo Rauzy. Formal Software Methods for Cryptosystems Implementation Security. Cryptography and Security [cs.CR]. Télécom ParisTech, 2015. English. 〈NNT : 2015-ENST-0039〉. 〈tel-01208533〉

Partager

Métriques

Consultations de la notice

325

Téléchargements de fichiers

571