Brevet FR3040511A1 — publié le 20170303

B14573 - 15-R0-0497 1 VÉRIFICATION DE LA SENSIBILITÉ D'UN CIRCUIT ÉLECTRONIQUE EXÉCUTANT UN CALCUL D'EXPONENTLATION MODULAIRE Domaine La présente description concerne de façon générale les circuits électroniques et, plus particulièrement, les circuits exécutant des opérations d'exponentiation modulaire. La présente description concerne plus particulièrement la protection d'un tel calcul contre des attaques par injections de fautes. Exposé de l'art antérieur Dans de nombreuses applications, des circuits électroniques mettent en oeuvre des algorithmes de chiffrement, d'authentification, de calcul de signature, et plus généralement des algorithmes manipulant des données, dites secrètes, c'est-à-dire dont on souhaite réserver l'accès à certains utilisateurs ou circuits. Parmi ces algorithmes, certains utilisent des opérations d'exponentiation modulaire incluant tout ou partie de ces données secrètes. De nombreuses méthodes, dites attaques, existent pour tenter de découvrir ou pirater ces données secrètes. Parmi ces attaques, des attaques dites par injections de fautes consistent à perturber le fonctionnement du circuit à des instants précis de l'exécution de l'opération. L'interprétation des conséquences de 3040511 B14573 - 15-R0-0497 2 ces injections de fautes, sur le fonctionnement du circuit ou les résultats fournis, renseigne le pirate sur la donnée secrète. Il existe un besoin d'améliorer la protection des données manipulées par des algorithmes exécutant des 5 exponentiations modulaires contre des attaques par injections de fautes. Il existe également un besoin de vérifier la sensibilité d'un circuit électronique à des attaques par injections de fautes. Résumé 10 Un mode de réalisation pallie tout ou partie des inconvénients des procédés et circuits usuels de protection de données manipulées par des algorithmes exécutant des exponentiations modulaires contre des attaques par injections de fautes. 15 Un mode de réalisation propose un procédé de calcul d'une exponentiation modulaire par un circuit électronique qui pallie tout ou partie des inconvénients des procédés usuels. Un mode de réalisation propose un procédé de vérification de la sensibilité d'un circuit électronique exécutant 20 un calcul d'exponentiation modulaire à une attaque par injections de fautes. Ainsi, un mode de réalisation prévoit un procédé de vérification de la sensibilité d'un circuit électronique exécutant un calcul d'une exponentiation modulaire dans un premier registre et un deuxième registre, comportant successivement, pour chaque bit de l'exposant : une première étape de multiplication du contenu d'un des registres choisi, parmi le premier registre et le deuxième registre en fonction de l'état du bit de l'exposant, par le contenu de l'autre des premier et deuxième registres, en plaçant le résultat dans ledit un des registres ; et une deuxième étape d'élévation au carré du contenu dudit autre des registres en plaçant le résultat dans cet autre registre, 3040511 B14573 - 15-R0-0497 3 dans lequel le contenu de celui des premier et deuxième registres qui contient le multiplicateur de l'opération de la première étape est perturbé, pour chaque bit de l'exposant, pendant l'exécution de la première étape. 5 Selon un mode de réalisation, la première étape est mise en oeuvre par un accumulateur de Montgomery. Selon un mode de réalisation, le contenu du premier registre est perturbé avant chaque itération de la première étape. Selon un mode de réalisation, le résultat de 10 l'exponentiation modulaire est contenu dans ledit premier registre. Selon un mode de réalisation, le circuit est considéré sensible à une injection de faute si le résultat diffère entre plusieurs exécutions du calcul avec les mêmes opérandes. 15 Selon un mode de réalisation, le procédé comporte les étapes suivantes : initialiser le premier registre à la valeur 1 ; initialiser le deuxième registre à la valeur du nombre à soumettre à l'exponentiation modulaire ; 20 successivement pour chaque bit de l'exposant : si l'état du bit courant de l'exposant est 1 : multiplier le contenu du premier registre par celui du deuxième registre et stocker le résultat dans le premier registre ; 25 élever au carré le contenu du deuxième registre et stocker le résultat dans le deuxième registre ; ou si l'état du bit courant de l'exposant est 0 : multiplier le contenu du deuxième registre par celui du premier registre et stocker le résultat dans le deuxième 30 registre ; élever au carré le contenu du premier registre et stocker le résultat dans le premier registre ; et restituer le contenu du premier registre quand tous les bits de l'exposant ont été traités. 3040511 B14573 - 15-R0-0497 4 Selon un mode de réalisation, la perturbation est, quel que soit l'état du bit de l'exposant, effectuée dans l'étape de multiplication. Selon un mode de réalisation, 1 ' exponentiation modulaire 5 est mise en oeuvre dans un algorithme RSA. Un mode de réalisation prévoit un circuit électronique adapté à la mise en oeuvre du procédé. Brève description des dessins Ces caractéristiques et avantages, ainsi que d'autres, 10 seront exposés en détail dans la description suivante de modes de réalisation particuliers faite à titre non limitatif en relation avec les figures jointes parmi lesquelles : la figure 1 représente, de façon schématique, un mode de réalisation d'un circuit électronique ; 15 la figure 2 illustre, sous forme de blocs, les étapes d'un calcul par la méthode de carré-multiplication ; la figure 3 illustre un exemple de contenu de deux registres utilisés dans le calcul ; la figure 4 illustre, sous forme de schéma bloc, les 20 étapes d'une multiplication réalisée dans un accumulateur de Montgomery ; la figure 5 représente, sous forme de blocs, un mode de mise en oeuvre d'une contremesure usuelle ; et la figure 6 est un schéma bloc illustrant un mode de 25 réalisation d'un procédé de protection d'un calcul d'exponentiation modulaire, réalisé dans un accumulateur de Montgomery. Description détaillée De mêmes éléments ont été désignés par de mêmes 30 références aux différentes figures. En particulier, les éléments structurels et/ou fonctionnels communs aux différents modes de réalisation peuvent présenter les mêmes références et peuvent disposer de propriétés structurelles, dimensionnelles et matérielles identiques. Par souci de clarté, seuls les éléments 35 utiles à la compréhension des modes de réalisation décrits ont 3040511 B14573 - 15-R0-0497 5 été représentés et seront détaillés. En particulier, les applications des calculs exécutés ou celles des circuits les exécutant n'ont pas été détaillées, les modes de réalisation décrits étant compatibles avec les applications usuelles. Lorsque 5 l'on fait référence aux termes "environ", "approximativement" ou "de l'ordre de", cela signifie à 10 % près, de préférence à 5 % près. Des opérations d'exponentiation modulaire se retrouvent dans de nombreux algorithmes de chiffrement parmi lesquels, par 10 exemple, les algorithmes connus sous les dénominations RSA, DSA, Diffie-Hellman, etc. Une exponentiation modulaire consiste à calculer le résultat c de l'exponentiation d'un nombre b par un entier e (exposant) modulo n, c'est-à-dire appliquer la formule : 15 c = be (mod n). Le plus souvent : le nombre b représente le nombre (ou une information représentative du nombre) que l'on souhaite chiffrer, authentifier, signer, etc. ; et 20 l'exposant e et le modulo n (le couple (e, n)) représentent la clé (ou des informations représentatives de la clé) de chiffrement, de vérification, de signature, etc. Dans l'exemple d'application au chiffrement RSA, la clé de chiffrement est le couple (e, n) et la clé de déchiffrement 25 est un couple (e', n), où n est le modulo de chiffrement et e' l'exposant de déchiffrement. Le calcul de l'exponentiation modulaire par un circuit électronique (une machine d'états, un processeur exécutant le procédé sous forme de programme, un circuit logique programmable, 30 etc.) s'effectue le plus souvent en appliquant une méthode dite de carré-multiplication (square-multiply). La figure 1 représente, de façon très schématique un circuit électronique 1 du type auquel d'appliquent les modes de réalisation qui vont être décrits. Le circuit 1 comporte : 3040511 B14573 - 15-R0-0497 6 une entité de calcul 11 (UC), par exemple une machine d'états, un microprocesseur, un circuit logique programmable, etc., incluant ou utilisant des registres 2 représentés arbitrairement en figure 1 à l'extérieur de l'entité 11 ; 5 une ou plusieurs zones 13 (MEM) de stockage volatile et/ou non volatile pour stocker tout ou partie des données et clés ; un ou plusieurs bus 15 de données, d'adresses et/ou de commandes entre les différents éléments internes au circuit 1 et 10 une interface d'entrée-sortie 17 (I/O) de communication avec l'extérieur du circuit 1. Le circuit 1 peut inclure divers autres circuits en fonction de l'application, symbolisés en figure 1 par un bloc 19 (FCT). 15 Le calcul d'une exponentiation modulaire selon la méthode de carré-multiplication exploite une décomposition polynomiale du calcul. La figure 2 représente, sous forme de blocs, les étapes d'un calcul par la méthode de carré-multiplication, incluant une 20 protection contre des attaques analysant la consommation (SPA) ou la durée d'exécution (timing attacks). Le message, par exemple le nombre b, à soumettre à l'exponentiation modulaire est chargé dans un registre du circuit 1, noté M. L'exposant e est chargé dans un autre registre du 25 circuit 1. On note di chaque bit de l'exposant e, où i désigne le rang allant de 0 à n-1 (ou de 1 à n). Le calcul utilise deux registres 2, notés arbitrairement RO et R1 sur lesquelles vont être effectuées les opérations. Par la suite, pour simplifier, on confondra les 30 registres et leur contenu, c'est-à-dire qu'en faisant référence à des opérations sur les registres, on entend sur leurs contenus. Dans une première étape (bloc 21), le registre RO est initialisé à 1 (R0=1). On entame alors un calcul en boucle sur les bits de 35 l'exposant e. Par exemple, un compteur i est initialisé à n-1 3040511 B14573 - 15-R0-0497 7 (bloc 22, i=n-1) et est décrémenté de 1 (bloc 23, i=i-1) à chaque traitement d'un bit di de l'exposant tant que tous les bits n'ont pas été traités (bloc 24, i=0?). A chaque itération, c'est à dire pour chaque bit di, on 5 commence (bloc 25, R0=R02) par élever au carré le contenu du registre RO en plaçant le résultat dans le registre RO. Puis, on effectue un test (bloc 26, di =1?) sur la valeur du bit de l'exposant. Si le bit courant di vaut 1 (sortie Y du bloc 26), le contenu du registre RO est multiplié par le contenu du registre M 10 (bloc 27, R0=R0*M) et le résultat est placé dans le registre RO. Si le bit courant di vaut 0 (sortie N du bloc 26), on effectue une opération de masquage, inutile pour le calcul lui-même, en plaçant le résultat de la multiplication du contenu du registre RO par le contenu du registre M dans le registre R1 (bloc 28, 15 R1=R0*M). Tant que tous les bits de l'exposant n'ont pas été traités (sortie N du bloc 24), on décrémente le compteur i et on revient à l'étape 25. Une fois que tous les bits de l'exposant ont été traités (sortie Y du bloc 24), le registre RO contient le 20 résultat de l'exponentiation modulaire (bloc 29, RO=Me (mod n)), c'est-à-dire la valeur c = be (mod n). Le calcul illustré par la figure 2 peut s'écrire également de la façon suivante : R0=1 (étape 21) 25 Pour i=n-1 à 0 (bloc 22, sortie N du bloc 24, bloc 23) : R0=R02 ou R0*R0 (bloc 25) Si di=1 (sortie Y du bloc 26) R0=R0*M (bloc 27) Sinon (sortie N du bloc 26) 30 R1=R0*M (bloc 28) Fin de boucle (sortie Y du bloc 24) Retourner RO (bloc 29). L'étape 28, qui n'est pas prise en compte dans le résultat du calcul, permet de protéger le calcul contre des 35 attaques par analyse de la consommation (SPA ou Simple Power 3040511 B14573 - 15-R0-0497 8 Analysis) du circuit en exécutant le même nombre de calculs et le même type de calcul quel que soit l'état du bit de l'exposant. Toutefois, certaines attaques par injections de fautes s'avèrent efficaces contre le calcul de la figure 2. En 5 particulier, il est désormais possible de focaliser une attaque sur une étape de calcul précise. Par exemple, en injectant une faute au moment de l'étape de multiplication RO*M, c'est-à-dire en perturbant le résultat de cette étape (en changeant la valeur d'au moins un bit), si le bit 10 de l'exposant est à 1, cela aura un effet sur le résultat. Si, par contre, le bit de l'exposant vaut 0, comme le résultat faussé est stocké dans le registre R1 qui n'a pas d'effet sur le résultat final (valeur finale du registre RO), ce dernier n'est pas modifié. Par conséquent, selon que le résultat final est ou non 15 affecté, l'attaquant en déduit l'état du bit de l'exposant. Ce type d'attaque est connu sous le nom "C-Safe Error Attack". Pour contrer ce type d'attaque, on a déjà proposé d'utiliser le contenu des registres RO et R1 dans le résultat 20 final. Une telle technique consiste à exécuter le calcul suivant : R0=1 R1=M Pour i=n-1 à 0: Si di=1 25 R0=R0*R1 R1=R12 Sinon R1=RO*R1 R0=R02 30 Fin de boucle Retourner RO. Ainsi, le résultat final est toujours modifié en cas d'attaque sur l'opération R0*R1. Toutefois, une faiblesse de cette méthode a été mise en 35 évidence dans une attaque connue sous la dénomination "M-Safe 3040511 B14573 - 15-R0-0497 9 Error Attack". Cette attaque consiste à focaliser l'attaque sur le multiplicateur (dans l'exemple ci-dessus R1) lors de la multiplication R0*R1. Cette attaque exploite la façon dont les multiplications 5 sont effectuées dans le circuit électronique. On utilise généralement une technique dite d'accumulateur de Montgomery ou "Montgomery Ladder". La figure 3 représente, sous forme de blocs, un exemple de registres RO et R1 et leurs contenus respectifs. 10 Chaque registre comporte un nombre p de bits, respectivement R0[p-1], RO[2], R0[1], R0[0] et Rl[p-1], R1[2], R1[1], R1[0]. L'opération de multiplication R0*R1 consiste à multiplier successivement chaque mot (d'au moins un bit) du 15 premier terme RO (le multiplicande) par tous les mots (d'au moins un bit) individuellement du deuxième terme R1 (le multiplicateur) dans un premier registre et de cumuler les résultats pour chaque mot du premier terme dans un autre registre. La figure 4 illustre, sous forme de schéma bloc, les 20 étapes d'une telle multiplication. Pour simplifier, on suppose ci-dessous des mots de un bit mais tout ce qui est décrit se transpose à une granularité par mot. On commence par initialiser un registre Tl à 0 (bloc 31, T1=0). Puis, pour chaque bit du registre R1, on initialise (bloc 25 41, T2=0) un registre T2 d'un bit et on multiplie successivement le bit courant Rl[j] du registre R1 par tous les bits R0[k] du registre RO. Par exemple, un premier compteur j est initialisé avec la valeur n-1 (bloc 32, j=n-1). Pour chaque valeur de j, le 30 registre T2 est initialisé à 0 (bloc 41). Puis, un deuxième compteur k est initialisé avec la valeur n-1 (bloc (42, k=n-1). Le bit courant R0[k] est multiplié par la valeur du bit Rl[j] et le résultat est stocké dans le registre T2 (bloc 43, T2=Rl[j]*R0[k]). Tant que tous les bits du registre RO n'ont pas 35 été traités (sortie N du bloc 44, k=0 ?), c'est-à-dire tant que 3040511 B14573 - 15-R0-0497 10 le compteur k n'a pas atteint la valeur 0, le compteur k est décrémenté (bloc 45, k=k-1) et on revient à l'étape 43 pour écraser le contenu du registre T2 avec le nouveau résultat. Une fois tous les bits du registre RO traités (sortie Y du bloc 44), le contenu 5 du registre T2 est additionné au contenu du registre Tl (bloc 33, 11=11+12) et le résultat est cumulé dans le registre Tl. Les étapes 41 à 45 sont reproduites pour tous les bits du registre Rl. Tant que tous les bits du registre R1 n'ont pas été traités (sortie N du bloc 34, j=0 ?) c'est-à-dire tant que le compteur j 10 n'a pas atteint la valeur 0, le compteur j est décrémenté (bloc 35, j=j-1) et on revient à l'étape 41. Une fois tous les bits du registre R1 traités (sortie Y du bloc 34), la multiplication est terminée et le registre Tl contient (bloc 36, T1=R0*R1) le résultat R0*R1. 15 Le calcul illustré par la figure 4 peut s'écrire également de la façon suivante : T1=0 (étape 31) Pour j=n-1 à 0 (étapes 32, 34 (sortie N), 35) : T2=0 (étape 41) 20 Pour k=k-1 à 0 (étapes 42, 44 (sortie N), 45) : T2=Rl[j]*R0[k] (étape 43) Fin de boucle (sortie Y du bloc 44) T1=11+12 (étape 33) Fin de boucle (sortie Y du bloc 34) 25 Retourner Tl (étape 36). Selon l'état du bit (di) de l'exposant, la valeur de Tl comme résultat de la multiplication R0*R1 est soit retournée dans le registre RO (di=1), soit dans le registre R1 (di=0). L'attaque M-Safe Error consiste à diriger l'attaque sur 30 l'étape de multiplication 43, c'est-à-dire sur un des bits Rl[j] lors de l'opération 43. En perturbant ce bit, on perturbe la valeur du registre T2, donc celle du registre Tl. Selon l'état du bit di de l'exposant, le contenu du registre Tl se retrouve dans le registre RO ou dans le registre Rl. Si le bit de l'exposant 35 vaut 1, l'erreur est alors propagée au registre RO qui véhicule 3040511 B14573 - 15-R0-0497 11 le résultat final. Si par contre le bit de l'exposant vaut 0, le fait de stoker le contenu du registre Tl dans le registre R1 va, dans certains cas, "effacer" l'erreur et celle-ci n'aura pas d'effet sur le résultat final. En jouant plusieurs fois l'attaque 5 sur le même bit de l'exposant, soit l'attaque influe à chaque fois sur le résultat et on peut en déduire que le bit de l'exposant vaut 1, soit elle n'influe que pour une partie des attaques et on peut en déduire que le bit de l'exposant vaut O. De préférence, pour rendre l'attaque plus efficace, il 10 faut au moins attaquer la dernière "sous" multiplication, c'est-à-dire dans l'exemple de la figure 4, perturber la valeur du bit R1[0]. Par ailleurs, dans la mesure où l'attaque M-Safe Error se concentre sur le bit de l'exposant, elle doit être jouée pour 15 chaque bit de l'exposant Une solution pour pallier ce type d'attaque est d'inverser le premier terme de la multiplication, c'est-à-dire calculer R0=R0*R1 ou R1=R1*R0 en fonction de la valeur du bit de l'exposant. Dans ce cas, quelle que soit la valeur du bit de 20 l'exposant, l'attaque va perturber le résultat final et ne fournit donc pas de renseignement. Cette solution est décrite dans l'article "The Montgomery Powering Ladder" de Marc Joye et Sung-Ming Yen (CHES 2002, LNCS 2523, pp 291-302, 2003). La figure 5 représente, sous forme de blocs, un mode de 25 mise en oeuvre d'une telle contremesure. Dans une première étape (bloc 51, R0=1 ; R1=M), on initialise les registres RO et R1, respectivement avec les valeurs 1 et M. On entame alors un calcul en boucle sur les bits de 30 l'exposant e. Par exemple, un compteur i est initialisé à n-1 (bloc 22, i=n-1) et est décrémenté de 1 (bloc 23, i=i-1) à chaque traitement d'un bit di de l'exposant tant que tous les bits n'ont pas été traités (bloc 24, i=0 ?). A chaque itération, on effectue un test (bloc 26, di 35 =1 ?) sur la valeur du bit de l'exposant. 3040511 B14573 - 15-R0-0497 12 Si le bit courant di vaut 1 (sortie Y du bloc 26), le contenu du registre RO est multiplié par le contenu du registre R1 (bloc 52, R0=R0*R1) et le résultat est placé dans le registre RO. Puis (bloc 53, R1=R12), le contenu du registre R1 est élevé 5 au carré en plaçant le résultat dans le registre Rl. Si, à l'inverse, le bit courant di vaut 0 (sortie N du bloc 26), le contenu du registre R1 est multiplié par le contenu du registre RO (bloc 54, R1=R1*R0) et le résultat est placé dans le registre Rl. Puis (bloc 25, R0=R02), le contenu du registre RO 10 est élevé au carré en plaçant le résultat dans le registre RO. A la fin (sortie Y du bloc 24), le registre RO contient (bloc 29, RO=Me (mod n)) le résultat final de l'exponentiation modulaire. Grâce à l'inversion des rôles entre le multiplicateur 15 et le multiplicande aux étapes 52 et 54 en fonction du bit de l'exposant, l'attaque sur la sous multiplication (étape 43, figure 4) est susceptible de toujours perturber le résultat final. L'attaque M-Safe Error devient donc inopérante. Cependant si l'attaque ne vise pas le multiplicateur 20 mais toujours l'opérande RO, alors, l'exécution du calcul par le circuit électronique redevient vulnérable. En effet, à partir du moment où il est possible de viser le registre RO, la vulnérabilité se situe au niveau de la dernière itération, c'est-à-dire de la dernière étape 52 ou 54. En effet, à cette dernière étape, 25 l'attaque sur le registre RO aura un effet sur le résultat final si le bit de l'exposant est à l'état 1 et pas dans le cas inverse. Par conséquent, en effectuant deux fois le calcul, une fois sans perturbation et une fois avec, on est en mesure de déterminer l'état du dernier bit de l'exposant. 30 Une façon simple est d'attaquer le registre RO à chaque itération. Toutefois, si l'attaquant est en mesure de détecter le séquencement des itérations, une attaque sur la dernière itération suffit. Pour déterminer lequel des deux registres 2 joue le rôle 35 du registre RO, il suffit d'attaquer les deux registres à la fin 3040511 B14573 - 15-R0-0497 13 de la multiplication (étape 52 ou 54). Cela permet d'identifier le registre qui rend le résultat sensible à l'attaque. Il suffit alors de focaliser l'attaque sur ce registre pendant de nombreuses exécutions du calcul pour être en mesure de percer le secret (la 5 valeur de la clé). On notera que cette attaque opère aussi si l'attaque se focalise sur la valeur du registre R1 lors de l'itération de l'avant dernier bit de l'exposant. L'attaque ci-dessus est efficace si la clé (la valeur 10 de l'exposant) n'est pas modifiée par le circuit à chaque exécution du calcul. Pour vérifier si le circuit est sensible à une injection de faute selon le procédé ci-dessus, on vérifie si le résultat diffère entre plusieurs exécutions du calcul avec les mêmes 15 opérandes. Dans l'affirmative, le circuit est sensible. L'inventeur propose une contremesure à une telle attaque en tirant profit du fait que la valeur de l'exposant e reste la même pendant de nombreuses itérations. C'est en pratique le cas et cela engendre la faiblesse susmentionnée. 20 La figure 6 est un schéma bloc illustrant un mode de réalisation d'un procédé de protection d'un calcul d'exponentiation modulaire, basé sur un calcul mettant en oeuvre la méthode dite de "Montgomery Ladder". Selon ce procédé, on utilise un registre 2 25 supplémentaire, noté T, comme variable tout le long du calcul. Dans une première étape (bloc 51, R0=1 ; R1=M), on initialise par exemple les registres RO et R1, respectivement avec les valeurs 1 et M. En fait, il suffit de stocker le dernier mot du registre qui va être multiplié. La valeur initiale contenue 30 dans le registre T n'a pas d'importance. On entame alors un calcul en boucle sur les bits de l'exposant e. Par exemple, un compteur i est initialisé à n-1 (bloc 22, i=n-1) et est décrémenté de 1 (bloc 23, i=i-1) à chaque traitement d'un bit di de l'exposant tant que tous les bits n'ont 35 pas été traités (bloc 24, i=0 ?). 3040511 B14573 - 15-R0-0497 14 A chaque itération, on effectue un test (bloc 26, di =1 ?) sur la valeur du bit de l'exposant. Si le bit courant di vaut 1 (sortie Y du bloc 26), le contenu du registre R1 (résultant de l'itération précédente) est 5 transféré dans le registre T (bloc 61, T=R1). Cela revient à stoker temporairement, dans le registre T, le contenu du registre R1 issu de l'itération précédente. Puis, le contenu du registre RO est multiplié par le contenu du registre R1 (bloc 52, R0=R0*R1) et le résultat est placé dans le registre RO. Puis, le contenu du 10 registre T est restitué au registre R1 (bloc 63, R1=T). Enfin (bloc 53, R1=R12), le contenu du registre R1 est élevé au carré en plaçant le résultat dans le registre Rl. Si, à l'inverse, le bit courant di vaut 0 (sortie N du bloc 26), le contenu du registre RO (résultant de l'itération 15 précédente) est transféré dans le registre T (bloc 67, T=R0). Cela revient à stoker temporairement, dans le registre T, le contenu du registre RO issu de l'itération précédente. Puis, le contenu du registre R1 est multiplié par le contenu du registre R1 (bloc 54, R1=R1*R0) et le résultat est placé dans le registre Rl. Puis, 20 le contenu du registre T est restitué au registre R1 (bloc 69, RO=T). Enfin (bloc 25, R0=R02), le contenu du registre RO est élevé au carré en plaçant le résultat dans le registre RO. A la fin (bloc 29), le registre RO contient le résultat final de l'exponentiation modulaire, c'est-à-dire que 25 RO=Me (mod n). Ainsi, même si une attaque est opérée sur le registre RO (ou R1) à l'intérieur de l'étape 33 ou 37, lors de la dernière itération de l'étape 43 (figure 4), le fait d'utiliser le registre temporaire T et de recharger le registre RO (ou R1) avant 30 l'opération d'élévation au carré, rend une telle attaque inopérante. Le procédé décrit en relation avec la figure 6 revient à exécuter le calcul suivant : R0=1 (bloc 51) 35 R1=M (bloc 51) 3040511 B14573 - 15-R0-0497 15 Pour i=n-1 à 0 (bloc 22, sortie N du bloc 24, bloc 23) : Si di=1 (sortie Y du bloc 26) T=R1 (bloc 61) R0=R0*R1 (bloc 52) 5 R1=T (bloc 63) R1=R12 (bloc 53) Sinon (sortie N du bloc 26) T=R0 (bloc 67) R1=R1*R0 (bloc 54) 10 RO=T (bloc 69) R0=R02 (bloc 25) Fin de boucle (sortie Y du bloc 24) Retourner RO (bloc 29). Selon un premier aspect, on souhaite évaluer la 15 résistance d'un circuit électronique à une attaque telle que décrite ci-dessus. Pour cela, l'attaque est exécutée et on détecte si elle est ou non efficace. Selon un autre aspect, on souhaite protéger l'exécution d'un calcul d'exponentiation modulaire contre cette attaque. La 20 mise en oeuvre du procédé de vérification de la sensibilité à l'attaque permet en outre de vérifier si la contremesure décrite en relation avec la figure 6 est implémentée ou non par le circuit électronique. Divers modes de réalisation ont été décrits. Diverses 25 variantes et modifications apparaîtront à l'homme de l'art. En particulier, la dénomination des registres est arbitraire et pourra être inversée. Enfin, la mise en oeuvre pratique des modes de réalisation qui ont été décrits est à la portée de l'homme du métier à partir des indications fonctionnelles données ci-dessus. REVENDICATIONS1. Procédé de vérification de la sensibilité d'un circuit électronique (1) exécutant un calcul d'une exponentiation modulaire dans un premier registre (RO) et un deuxième registre (R1), comportant successivement, pour chaque bit de l'exposant 5 (e) : une première étape (52, 54) de multiplication du contenu d'un des registres choisi, parmi le premier registre et le deuxième registre en fonction de l'état du bit de l'exposant, par le contenu de l'autre des premier et deuxième registres, en 10 plaçant le résultat dans ledit un des registres ; et une deuxième étape (53, 25) d'élévation au carré du contenu dudit autre des registres en plaçant le résultat dans cet autre registre, dans lequel le contenu de celui des premier et deuxième 15 registres qui contient le multiplicateur de l'opération de la première étape est perturbé, pour chaque bit de l'exposant, pendant l'exécution de la première étape. 2. Procédé selon la revendication 1, dans lequel la première étape est mise en oeuvre par un accumulateur de 20 Montgomery. 3. Procédé selon la revendication 1 ou 2, dans lequel le contenu du premier registre est perturbé avant chaque itération de la première étape. 4. Procédé selon l'une quelconque des revendications 1 25 à 3, dans lequel le résultat de l'exponentiation modulaire est contenu dans ledit premier registre (RO). 5. Procédé selon l'une quelconque des revendications 1 à 4, dans lequel le circuit est considéré sensible à une injection de faute si le résultat diffère entre plusieurs exécutions du 30 calcul avec les mêmes opérandes. 6. Procédé selon l'une quelconque des revendications 1 à 5, comportant les étapes suivantes : initialiser (51) le premier registre (RO) à la valeur 1 ; 3040511 B14573 - 15-R0-0497 17 initialiser (51) le deuxième registre (R1) à la valeur du nombre (M) à soumettre à l'exponentiation modulaire ; successivement pour chaque bit de l'exposant (e) : si l'état du bit courant de l'exposant est 1 : multiplier (52) le contenu du premier registre par celui du deuxième registre et stocker le résultat dans le premier registre ; élever au carré (53) le contenu du deuxième registre et stocker le résultat dans le deuxième registre ; ou si l'état du bit courant de l'exposant est 0 : multiplier (54) le contenu du deuxième registre par celui du premier registre et stocker le résultat dans le deuxième registre ; élever au carré (25) le contenu du premier 15 registre et stocker le résultat dans le premier registre ; et restituer (29) le contenu du premier registre quand tous les bits de l'exposant ont été traités. 7. Procédé selon la revendication 6, dans lequel la perturbation est, quel que soit l'état du bit de l'exposant (e), 20 effectuée dans l'étape de multiplication. 8. Procédé selon l'une quelconque des revendications 1 à 7, dans lequel l'exponentiation modulaire est mise en oeuvre dans un algorithme RSA. 9. Circuit électronique (1) adapté à la mise en oeuvre 25 du procédé selon l'une quelconque des revendications 1 à 8.