Using Modular Extension to Provably Protect Edwards Curves Against Fault Attacks

Abstract : Fault injection attacks are a real-world threat to cryptosystems, in particular asymmetric cryptography. In this paper, we focus on countermeasures which guarantee the integrity of the computation result, hence covering most existing and future fault attacks. Namely, we study the modular extension protection scheme in previously existing and newly contributed variants of the countermeasure on elliptic curve scalar multiplication (ECSM) algorithms. We find that an existing countermeasure is incorrect and we propose new " test-free " variant of the modular extension scheme that fixes it. We then formally prove the correctness and security of modular extension: specifically, the fault non-detection probability is inversely proportional to the security parameter. Finally, we implement an ECSM protected with test-free modular extension during the elliptic curve operation to evaluate the efficient of this method on Edwards and twisted Edwards curves.
Type de document :
Communication dans un congrès
PROOFS: Security Proofs for Embedded Systems 2016, Aug 2016, San, United States. 〈http://www.proofs-workshop.org/〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01362552
Contributeur : Margaux Dugardin <>
Soumis le : vendredi 9 septembre 2016 - 09:50:14
Dernière modification le : samedi 27 octobre 2018 - 01:20:27
Document(s) archivé(s) le : samedi 10 décembre 2016 - 12:40:11

Fichier

PROOFS_2016_paper_1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01362552, version 1

Citation

Margaux Dugardin, Sylvain Guilley, Martin Moreau, Zakaria Najm, Pablo Rauzy. Using Modular Extension to Provably Protect Edwards Curves Against Fault Attacks. PROOFS: Security Proofs for Embedded Systems 2016, Aug 2016, San, United States. 〈http://www.proofs-workshop.org/〉. 〈hal-01362552〉

Partager

Métriques

Consultations de la notice

341

Téléchargements de fichiers

172