Masking against Side-Channel Attacks: A Formal Security Proof


Auteurs: Emmanuel Prouff (ANSSI) and Matthieu Rivain (CryptoExperts).
Conférence: Eurocrypt, 26 mai – 30 mai 2013, Athénes, Grèce.
La présentation de l’article sera faite par M. Matthieu Rivain de CryptoExperts.

L’article a pour objectif principal de prouver formellement le niveau de résistance apporté par les contre-mesures basées sur le principe de partage de données (aussi appelé masquage).
Les travaux existants sur ce sujet ne traitent que partiellement du problème et proposent des preuves de résistance qui se limitent à certaines attaques.

L’analyse développée dans cet article aboutit à une preuve de sécurité inconditionnelle. Plus précisément la quantité d’information fuyant sur les secrets manipulés par l’implémentation est bornée par une fonction dépendant exclusivement d’un rapport signal sur bruit qui peut être baissé par le développeur en introduisant des bruits parasites lors des calculs grâce à du matériel hardware dédié.

  • pdf

    Masking against Side-Channel Attacks: A Formal Security Proof

    337.42 Ko