Skip to Main content Skip to Navigation
Theses

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é.
Document type :
Theses
Complete list of metadatas

Cited literature [111 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01208533
Contributor : Pablo Rauzy <>
Submitted on : Friday, October 2, 2015 - 5:24:32 PM
Last modification on : Saturday, December 21, 2019 - 1:22:37 AM
Document(s) archivé(s) le : Sunday, January 3, 2016 - 10:55:58 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : tel-01208533, version 1

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⟩

Share

Metrics

Record views

396

Files downloads

918