HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Formal Software Methods for Cryptosystems Implementation Security

Abstract : Implementations of cryptosystems are vulnerable to physical attacks, and thus need to be protected against them. Of course, malfunctioning protections are useless. Formal methods help to develop systems while assessing their conformity to a rigorous specification. The first goal of my thesis, and its innovative aspect, is to show that formal methods can be used to prove not only the principle of the countermeasures according to a model, but also their implementations, as it is where the physical vulnerabilities are exploited. My second goal is the proof and the automation of the protection techniques themselves, because handwritten security code is error-prone.
Document type :
Complete list of metadata

Cited literature [111 references]  Display  Hide  Download

Contributor : Pablo Rauzy Connect in order to contact the contributor
Submitted on : Friday, October 2, 2015 - 5:24:32 PM
Last modification on : Friday, July 31, 2020 - 10:44:11 AM
Long-term archiving on: : Sunday, January 3, 2016 - 10:55:58 AM


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : tel-01208533, version 1


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⟩



Record views


Files downloads