Modèles d’attaquants en boite grise et leurs limites: Un exemple d’attaque sur une implémentation masquée de ML-DSA.

Dans la première partie de cette présentation je propose de rappeler les différents modèles d’attaquant dans le modèle de la boite grise.
Je résume ensuite les diverses réductions entre ces modèles, qui permettent de justifier l’utilisation du masquage, qui est la contre mesure la plus utilisée pour protéger des implémentations.

Dans un second temps je présente un nouveau chemin d’attaque sur l’implémentation masquée de ML-DSA (le standard principal de signature post-quantique) proposée par Coron et al. en 2023.

Cette attaque (parmi d’autres) illustre que des vulnérabilités peuvent apparaitre au momentde la compilation, invalidant les garanties de sécurité du code c.

La deuxième partie de cette présentation est un travail réalisé en collaboration avec Andersson Calle-Vierra, Jean-Sébastien Coron et Nathan Rousselot.

Le séminaire sera retranscrit en format hybride via zoom.

Sujet: Séminaire Versailles UVSQ
Heure: 22 oct. 2026 11:00 AM Paris

Participer à la réunion Zoom
https://uvsq-fr.zoom.us/j/96101800457?pwd=pXXr8vK8sdUehTI6WTiK03YLQ60XAk.1