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 de l'École normale supérieure, 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 metadatas

Cited literature [138 references]  Display  Hide  Download

https://hal.inria.fr/tel-01235207
Contributor : Sonia Belaid <>
Submitted on : Sunday, November 29, 2015 - 1:27:39 PM
Last modification on : Thursday, October 29, 2020 - 3:01:16 PM
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

411

Files downloads

497