Devoir Maison 2017

Ce devoir est à réaliser dans un notebook Jupyter/SageMath. Utilisez les cellules ordinaires pour faire les calculs, et les cellules de texte (Markdown) pour ajouter vos commentaires et les réponses aux questions. Rappel : vous pouvez saisir des formules au format LaTeX entre les symboles $ (dollar).

Envoyez votre travail complet par mail. Vous pouvez soit l’exporter au format .ipynb (« File → Download as → Notebook (.ipynb) »), soit donner le lien du notebook sur https://bourbaki.math.uvsq.fr/ (et uniquement sur ce serveur).

Cryptanalyse algébrique

La cryptanalyse algébrique est une méthode très générale pour attaquer les systèmes cryptographiques, en particulier les systèmes symétriques. De façon générale, cela consiste à modéliser le secret par les inconnues d’un anneau polynomial (le plus souvent à coefficients dans ), à encoder les relations entre les inconnues et les données connues (par ex., les paires clair-chiffré) dans un système polynomial, et à résoudre ce dernier par des techniques génériques, tels les SAT solvers ou les bases de Gröbner.

Dans ce devoir, nous allons étudier des cas particuliers de chiffrement par flot, qui se modélisent très bien par des systèmes polynômiaux.

On rappelle qu’un système de chiffrement par flot n’est rien d’autre qu’un générateur pseudo-aléatoire avec clef : il prend en entrée une donnée secrète, et il génère en sortie un flux infini de symboles (typiquement des bits). Le chiffrement se réalise en ajoutant le flot au clair, le déchiffrement en le soustrayant. Compromettre un système de chiffrement par flot revient à prédire la suite pseudo-aléatoire à partir d’une partie de ses bits ; dans toutes les attaques que nous allons réaliser, nous retrouverons toujours la clef secrète, ce qui permet de prédire la totalité de la suite.

LFSR

Un Linear Feedback Shift Register (LFSR) est un générateur pseudo-aléatoire très simple, qui peut être réalisé très efficacement par un circuit électronique.

Un LFSR est composé d’une suite de registres binaires, qui commencent dans un état initial (secret ou pas). À chaque itération la valeur dans le registre le plus à droite sort du LFSR pour aller constituer le bit suivant de la suite pseudo-aléatoire ; les valeurs de tous les registres sont ensuites décalées d’une position vers la droite, et les registres d’un sous ensemble prédéterminé (les taps) sont XORés (additionnés modulo 2) pour obtenir la nouvelle valeur du registre le plus à gauche. Ceci est schématisé dans la figure ci-dessous.

Dit autrement, la suite générée par un LFSR est une suite récurrente linéaire à coefficients dans . Dans l’exemple ci-dessus, la suite est définie par l’équation

  1. Un LFSR peut être représenté par un polynôme avec autant de variables que de registres. Écrivez une fonction (voir les notes sur les fonctions) qui prend en entrée

    • un polynôme à variables,
    • une liste contenant les valeurs initiales ,
    • un entier ,

    et qui renvoie , le -ème bit de la sortie du LFSR.

  2. Comme le nom l’indique, un LFSR est une fonction linéaire de ses entrées. Dire quelle est la représentation matricielle de la fonction

    Écrire une fonction qui prend en entrée

    • une matrice représentant un LFSR
    • une liste contenant les valeurs initiales ,
    • un entier ,

    et qui renvoie . Il est conseillé de consulter la documentation Sage sur les matrices

  3. Jupyter permet de mesurer les performances du code Sage à l’intérieur d’une cellule. La clef magique %time au début d’une ligne, mesure le temps passé à l’exécuter.

    %time a = sum(range(10^7))
    

    Comparez les deux fonctions écrites précédemment à l’aide de %time. À partir de quelle valeur de la différence devient apparente ? Quelle est la meilleure fonction, et pourquoi ?

    Remarque : la fonction basée sur la représentation matricielle devrait pouvoir traiter des sans difficulté. Si cela n’est pas le cas, réfléchissez davantage, faute de quoi vous risquez de ne pas pouvoir aborder les questions suivantes.

  4. Soit la matrice associée à un LFSR, le polynôme minimal du LFSR est le polynôme minimal de . Montrer que le polynôme minimal définit uniquement le LFSR.

Cryptanalyse des LFSR

On suppose maintenant qu’on a accès à (une partie de) la sortie d’un LFSR à registres, mais qu’on ne connaît pas son polynôme minimal. Le but de la cryptanlyse va être de retrouver le polynôme secret définissant le LFSR.

  1. Soit la suite générée par le LFSR, et soit la série formelle définie par

    Soit de degré le polynôme minimal du LFSR, on définit

    c’est à dire le polynôme obtenu en renversant les coefficients de . Prouver que

    est un polynôme de degré .

Soit , et soit . Retrouver et à partir de est un problème d’approximation de Padé. L’égalité prouvée au point précédent montre que

Les polynômes et (et ) peuvent être calculés par une variante de l’algorithme d’Euclide étendu. Il suffit, en effet, d’exécuter l’algorithme usuel avec et en entrée, en arrêtant le calcul dès que l’on trouve un reste de degré .

Exemple : prenons et considérons la suite , correspondant à la série formelle

Le pgcd étendu entre et donne successivement les relations

on déduit et , la vérification est immédiate.

La preuve que apparaît effectivement dans la suite des restes de l’algorithme d’Euclide est simple, mais technique, c’est pourquoi nous évitons de la détailler. Le lecteur intéressé pourra se renseigner sur la théorie des sous-résultants.

  1. Écrire un fonction qui prend en entrée la suite et le degré et qui calcule le polynôme minimal .

    Suggestion : Vous pouvez vous inspirer de la fonction vue en TD.

    Suggestion : Berlekamp-Massey est un autre algorithme permettant de calculer le polynôme minimal à partir de la connaissance d’au moins bits de la sortie du LFSR… et il est déjà implanté dans Sage ! Servez-vous-en pour vous aider à vérifier vos calculs.

  2. Utilisez votre fonction pour trouver le polynôme minimal de la suite

    1,0,1,1,1,1,0,1,0,1,1,0,1,1,0,0,0,0,0,0,1,1,1,0,0,0,1,1,1,1,0,1,1,0,0,0,0,0,0,0,1,0,…

    (oui, n’a pas été précisé, il ne s’agit pas d’une erreur).

Générateurs non-linéaires

Il a toujours été reconnu que la linéarité des LFSR constitue une faiblesse cryptographique pour la conception des systèmes de chiffrement par flot. Néanmoins, on a cru que le simple ajout d’une couche non-linéaire pourrait suffire à définir un système robuste. Nous allons voir ici que cela n’est pas sans risques.

Soit la fonction booléenne (c.-à-d., à valeurs dans )

et soit le LFSR défini par le polynôme

On définit un générateur pseudo-aléatoire comme suit :

est une clef secrète de 16 bits.

  1. Écrire une fonction qui prend en entrée

    • la clef secrète (),
    • un entier ,

    et qui renvoie le bit .

Dans le cadre de notre attaque algébrique, on va supposer qu’on a intercepté une certaine quantité de bits de la sortie, et on veux retrouver la clef secrète. Nous allons utiliser comme exemple la suite de bits suivante, qui correspond aux 100 premiers bits de la sortie :

  1. On considère l’anneau de polynômes . Quel est l’idéal de la variété  ?

  2. Modéliser les bits secrets par autant de variables d’un anneau polynomial. Écrire un système d’équations mettant en rapport les variables secrètes avec les bits de sortie, et le résoudre à l’aide des bases de Gröbner. N’oubliez pas d’ajouter les équations vues au point précédent.

    Attention : plus on connaît de bits, plus on connaît d’équations, moins de temps prendra le calcul de la base de Gröbner. D’un autre côté, le calcul de chaque équation prend lui aussi du temps. Aidez-vous avec %time pour trouver le meilleur compromis. Le choix de l’ordre monomial a lui aussi un poids important sur le calcul de la base de Gröbner, quel ordre est le plus efficace ?

    Solution : pour vous aider à tester votre code, la suite donnée est générée aléatoirement à chaque rechargement de cette page. La clef secrète pour cette suite est… ().

Un secret de 16 bits, c’est loin d’être une taille cryptographique. Attaquons maintenant un secret de 80 bits, ce qui est largement infaisable par recherche exhaustive.

On va prendre la fonction définie par

et le LFSR défini par le polynôme

Le générateur est défini comme auparavant par la composition de avec .

  1. Étant donnée la suite initiale de bits

    trouver la clef secrète.

    Attention : correctement réalisé, ce calcul nécessite de ~4GB de mémoire vive. Il est recommandé de l’effectuer sur https://bourbaki.math.uvsq.fr/, ou sur une autre machine suffisamment puissante. Il peut prendre une vingtaine de minutes à compléter : armez-vous de patience (rappel : si besoin « Restart » dans le menu « Kernel » arrête le calcul en cours).

    Suggestion : avant de vous attaquer à ce problème, il peut être judicieux de faire des essais avec des systèmes similaires ayant un secret plus petit (par exemple 32 ou 64 bits). Ceci vous permettra de vérifier que votre code est capable d’attaquer un problème de grande taille.

    Solution : Encore une fois, la clef secrète est générée à chaque rechargement. Dans ce cas, elle est… ().

Générateurs hautement non-linéaires

Dans l’exemple précédent, la vulnérabilité du système est due au bas degré des équations en jeu. Cette vulnérabilité est connue depuis longtemps, et c’est pourquoi des systèmes cryptographiques réels ont utilisé des fonctions non-linéaires de haut degré. Si ces systèmes ont pendant longtemps été considérés sûrs, au début des années 2000 une suite d’attaques astucieuses ont bouleversé le monde du chiffrement par flot.

Considérons la fonction booléenne

et le LFSR défini par le polynôme

Comme auparavant, on définit un générateur pseudo-aléatoire par

  1. Lisez ce papier de Courtois et Meier et mettez en pratique l’attaque qu’y est décrite.

    Attention : l’anneau de polynômes standard en Sage se révèle bien trop lent pour mettre en pratique cette attaque. Il sera opportun d’utiliser une implantation spécifique pour les polynômes booléens.

    En remplaçant

    PolynomialRing(GF(2), n, 's')
    

    par

    BooleanPolynomialRing(n, 's')
    

    on obtient un objet qui représente l’anneau quotient

    la majorité des fonctionnalités qui étaient définies pour l’anneau de polynômes classique le sont encore, mais l’arithmétique est beaucoup plus rapide, quoique plus gourmande en mémoire.

    En utilisant cette structure, l’attaque devrait être réalisable en une dizaine de minutes.

Fork me on GitHub