Le schéma d'Even-Mansour paramétrable : preuves de sécurité à l'aide de la technique des coefficients H

Résumé : Les algorithmes de chiffrement par blocs paramétrables constituent une généralisation des algorithmes de chiffrement par blocs classiques qui, en plus d'une clé et d'un message à chiffrer ou déchiffrer, admettent un paramètre additionnel, nommé tweak en anglais. Le rôle de ce paramètre additionnel est d'apporter une variabilité à l'algorithme de chiffrement, sans qu'il soit nécessaire de changer la clé ou de garder le tweak secret. Ce dernier doit également pouvoir être contrôlé par l'adversaire sans dégradation de la sécurité. Dans cette thèse nous nous intéressons à une classe particulière d'algorithmes de chiffrement par blocs, les algorithmes de chiffrement par blocs à clé alternée. Plusprécisément, nous étudions la sécurité du schéma d'Even-Mansour, qui constitue une abstraction de la structure de ces algorithmes dans le modèle de la permutation aléatoire, et cherchons à rendre ce schéma paramétrable tout en conservant de fortes garanties de sécurité. À cette fin, nous introduisons une nouvelle construction générique, baptiséeTEM, qui remplace les clés de tours de la construction d'Even-Mansour par une valeur qui dépend de la clé et du tweak, et en étudions la sécurité dans deux cas : lorsque le mixage de la clé et du tweak est linéaire ou lorsqu'il est très non-linéaire. Nos preuves de sécurité utilisent la technique des coefficients H, introduite par Jacques Patarin danssa thèse de doctorat, qui permet de transformer des problèmes cryptographiques en problèmes combinatoires sur des groupes finis.
Type de document :
Thèse
Cryptographie et sécurité [cs.CR]. Université Paris-Saclay, 2016. Français. 〈NNT : 2016SACLV064〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01482669
Contributeur : Abes Star <>
Soumis le : vendredi 3 mars 2017 - 16:55:05
Dernière modification le : mardi 2 octobre 2018 - 03:09:15
Document(s) archivé(s) le : mardi 6 juin 2017 - 13:00:28

Fichier

70542_COGLIATI_2016_archivage....
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01482669, version 1

Citation

Benoît-Michel Cogliati. Le schéma d'Even-Mansour paramétrable : preuves de sécurité à l'aide de la technique des coefficients H. Cryptographie et sécurité [cs.CR]. Université Paris-Saclay, 2016. Français. 〈NNT : 2016SACLV064〉. 〈tel-01482669〉

Partager

Métriques

Consultations de la notice

1331

Téléchargements de fichiers

422