Efficient Padding Oracle Attacks on Cryptographic Hardware

Romain Bardou 1 Riccardo Focardi 2 Yusuke Kawamoto 3 Lorenzo Simionato 2 Graham Steel 4, * Joe-Kai Tsay 5
* Auteur correspondant
1 SECSI - Security of information systems
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : We show how to exploit the encrypted key import functions of a variety of different cryptographic devices to reveal the imported key. The attacks are padding oracle attacks, where error messages resulting from incorrectly padded plaintexts are used as a side channel. In the asymmetric encryption case, we modify and improve Bleichenbacher's attack on RSA PKCS#1v1.5 padding, giving new cryptanalysis that allows us to carry out the 'million message attack' in a mean of 49 000 and median of 14 500 oracle calls in the case of cracking an unknown valid ciphertext under a 1024 bit key (the original algorithm takes a mean of 215 000 and a median of 163 000 in the same case). We show how implementation details of certain devices admit an attack that requires only 9 400 operations on average (3 800 median). For the symmetric case, we adapt Vaudenay's CBC attack, which is already highly efficient. We demonstrate the vulnerabilities on a number of commercially available cryptographic devices, including security tokens, smartcards, Hardware Security Modules (HSMs) and the Estonian electronic ID card. The attacks are efficient enough to be practical: we give timing details for all the devices found to be vulnerable, showing how our optimisations make a qualitative difference to the practicality of the attack. We give mathematical analysis of the effectiveness of the attacks, extensive empirical results, and a discussion of countermeasures and manufacturer reaction.
Type de document :
Rapport
[Research Report] RR-7944, INRIA. 2012, pp.19
Liste complète des métadonnées


https://hal.inria.fr/hal-00691958
Contributeur : Graham Steel <>
Soumis le : mercredi 25 juillet 2012 - 16:44:48
Dernière modification le : jeudi 9 février 2017 - 15:49:33
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 03:07:56

Fichier

RR-7944.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00691958, version 3

Collections

Citation

Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, et al.. Efficient Padding Oracle Attacks on Cryptographic Hardware. [Research Report] RR-7944, INRIA. 2012, pp.19. <hal-00691958v3>

Partager

Métriques

Consultations de
la notice

869

Téléchargements du document

3274