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
Theses

Security of Cryptosystems Against Power-Analysis Attacks

Sonia Belaïd 1, 2, 3
1 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Side-channel attacks are the most efficient attacks against cryptosystems. While the classical black-box attacks only exploit the inputs and outputs of cryptographic algorithms, side-channel attacks also use the physical leakage released by the underlying device during algorithms executions. In this thesis, we focus on one kind of side-channel attacks which exploits the power consumption of the underlying device to recover the algorithms secret keys : power-analysis attacks. Most of the existing power-analysis attacks rely on the observations of variables which only depend on a few secret bits using a divide-and-conquer strategy. In this thesis, we exhibit new kinds of attacks which exploit the observation of intermediate variables highly dependent on huge secrets. We also study two commonly used algorithmic countermeasures against side-channel attacks : leakage-resilient primitives and masking schemes. On the one hand, we define a leakage-resilient encryption scheme based on a regular update of the secret key and we prove its security. On the other hand, we build, using formal methods, a tool to automatically verify the security of masked algorithms.We also exhibit new security and compositional properties which can be used to generate masked algorithms at any security order from their unprotected versions. Finally, we propose a comparison between these two countermeasures in order to help industrial experts to determine the best protection to integrate in their products.
Document type :
Theses
Complete list of metadata

Cited literature [138 references]  Display  Hide  Download

https://hal.inria.fr/tel-01235207
Contributor : Sonia Belaid Connect in order to contact the contributor
Submitted on : Sunday, November 29, 2015 - 1:27:39 PM
Last modification on : Monday, April 4, 2022 - 10:40:40 AM
Long-term archiving on: : Saturday, April 29, 2017 - 12:52:17 AM

Identifiers

  • HAL Id : tel-01235207, version 1

Collections

Citation

Sonia Belaïd. Security of Cryptosystems Against Power-Analysis Attacks. Cryptography and Security [cs.CR]. ENS, 2015. English. ⟨tel-01235207⟩

Share

Metrics

Record views

194

Files downloads

333