Brevet FR2929470A1 — publié le 20091002

Procédé de protection de circuit de cryptographie programmable, et circuit protégé par un tel procédé La présente invention concerne un procédé de protection d'un circuit de cryptographie programmable. Elle concerne également un circuit protégé par un tel procédé. Elle s'applique notamment pour protéger ce type de circuit contre les attaques d'analyse différentielle de consommation. 1 o La cryptographie a notamment pour but de protéger : - soit le secret de l'information par le moyen du chiffrement et de son opération duale : le déchiffrement ; - soit seulement son intégrité, par les opérations de signature et de vérification de signature. 15 La cryptographie utilise des méthodes mathématiques sures, en ce sens qu'il n'existe pas dans l'état actuel des connaissances publiées des méthodes d'attaque plus rapide que l'attaque exhaustive correspondant à l'essai de toutes les clés possibles. En général, les méthodes de chiffrement impliquent des calculs complexes 20 nécessaires à la sécurité des systèmes. Cette complexité ne pose pas de problèmes particuliers aux ordinateurs mais elle constitue un inconvénient dans le cas de dispositifs grand public ne comportant pas une grande puissance de calcul, en général contrôlés par des microprocesseurs à faible coût. Les conséquences peuvent être alors de plusieurs ordres, ainsi par 25 exemple une carte bancaire mettrait plusieurs minutes à signer une transaction ou un décodeur numérique de télévision payante ne pourrait pas suivre le débit d'informations en jeu. Pour pallier ce type de problème sans augmenter le prix des systèmes, il est habituel d'adjoindre une aide à l'unité centrale contrôlant le dispositif, en 30 général sous la forme d'un coprocesseur dédié à la cryptographie. Cependant, qu'il soit mis en oeuvre par l'unité centrale ou par un coprocesseur spécialisé, l'algorithme de cryptographie est dans tous les cas mis en oeuvre par un dispositif physique, électronique. Les dispositifs 35 électroniques présentent des imperfections inévitables liées aux propriétés inhérentes des lois de l'électricité. C'est ainsi que des systèmes cryptographiques sûrs du point de vue mathématique peuvent être attaqués en exploitant les imperfections des systèmes physiques mettant l'algorithme en oeuvre : - la durée des calculs peut dépendre des valeurs des données, en particulier sur des systèmes logiciels optimisés en temps, ce qui peut donner lieu aux attaques de type � timing attack � permettant dans certains cas de retrouver la totalité des clés secrètes à partir de simples mesures de temps d'exécution ; - la consommation électrique instantanée peut également dépendre des 1 o données, ce qui peut donner lieu à des séries d'attaques telles que : - la SPA qui tente de différencier les opérations exécutées par une unité centrale à partir d'une mesure de sa consommation électrique mesurée pendant une opération cryptographique ; 15 - l'analyse différentielle de consommation DPA qui utilise des opérations statistiques sur de nombreuses mesures de consommation électrique, effectuées lors d'opérations de cryptographie sur des messages aléatoires et avec une clé constante pour valider ou invalider une hypothèse faite sur 20 une partie limitée de la clé ; - les attaques de type � template � qui : dans une première phase utilisent un dispositif identique au dispositif attaqué, à ceci près que ce dispositif identique ne contient aucun secret, pour construire des modèles de consommation indexés par la valeur d'une partie limitée de la clé et ; dans une deuxième phase utilisent quelques mesures de consommation du dispositif attaqué pour déterminer le modèle dont les consommations mesurées sont les plus proches et ainsi déterminer la valeur de cette sous- clé - tout courant électrique circulant dans un conducteur engendre un champ électromagnétique dont la mesure peut donner lieu à des attaques identiques dans leur principe aux attaques portant sur la 35 consommation électrique, notamment par DPA ; 25 30 - enfin, des attaques perturbent le fonctionnement des systèmes afin d'exploiter les résultats faux pour retrouver les secrets du système. On appelle � canal caché � toute imperfection d'un dispositif physique mettant en oeuvre un algorithme de cryptographie et susceptible de laisser fuir de l'information liée aux secrets conservés dans la mémoire du dispositif. Les circuits reconfigurables du type FPGA (Field Programmable Gate Arrays) sont très utilisés dans les applications nécessitant de la cryptographie. Au moins deux raisons justifient cet état de fait. En premier lieu, les standards de cryptographie évoluent vite, certains algorithmes présentant des vulnérabilités sont remplacés par d'autres qui corrigent les failles. De plus les paramètres de cryptographie, comme la taille des clés, sont également variables. Une flexibilité est donc nécessaire, mais sans compromis sur la performance. En effet, les algorithmes de cryptographie protègent parce que leurs calculs sont complexes. Les FPGA répondent parfaitement à ce besoin de flexibilité et de puissance. En second lieu, certaines applications de cryptographie sont diffusées en faibles volumes. C'est par exemple le cas des systèmes embarqués dans des satellites notamment. La solution FPGA est alors plus rentable qu'une implémentation dédiée du type ASIC par exemple. Comme tous les circuits de cryptographie, les FPGA équipés de fonctions de cryptographie, sont vulnérables aux attaques, notamment par les canaux cachés. Une solution de contre-mesure connue pour contrer les attaques, notamment par mesure de consommation électrique utilise la logique différentielle, plus particulièrement la duplication des réseaux logiques. Ainsi chaque porte logique est doublée en deux portes physiques duales fonctionnant en logique complémentaire de telle sorte qu'à tout moment une porte duale consomme, rendant la consommation électrique indépendante des données et donc inutilisable pour une DPA notamment. De façon à assurer un nombre de transitions constant à chaque calcul, donc une consommation constante, la logique différentielle nécessite deux phases de travail : - une phase de précharge pour mettre dans un état connu les variables et , - une phase d'évaluation où le calcul est effectué avec un nombre constant de transitions. La complexité d'un circuit de cryptographie est ainsi plus que doublée du fait de l'utilisation de la logique différentielle et des connexions à double rails nécessaires à sa mise en oeuvre. Si certains FPGA intègrent des protections contre le piratage de leur configuration, aucun n'a été conçu pour résister à des attaques sur leur implémentation. Les protections proviennent donc de solutions au niveau RTL (Register Transfer Level) notamment comme la logique WDDL proposée dans le document de K.Tiri et I.Verbauwhede � A logic Level Design Methodology for a Secure DPA Resistant ASIC or FPGA 1 o I mplementation � in Proceedings of DATE'04, pages 246-251, février 2004, ou encore la logique MDPL proposée dans le document de T.Popp et S.Mangard � Masked Dual Rail Pre-Charge Logic : DPA Resistance without routing Constraints � in LNCS, editeur, Proceedings of CHES'05, volume 3659 of LNCS, pages 172-186, Springer, septembre 2005. Ces solutions 15 sont insuffisantes car elles présentent des biais logiques et technologiques qui peuvent être exploités par un attaquant. Dans tous les types de logiques différentielles proposées, malgré un apparent équilibre de la consommation, des phénomènes du second ordre laissent apparaître des déséquilibres et ainsi des fuites d'information. Les 20 phénomènes les plus importants sont notamment l'évaluation anticipée et les différences technologiques des réseaux différentiels. Un but de l'invention est notamment de permettre de s'affranchir de ces phénomènes et d'augmenter significativement la difficulté des attaques par 25 mesures de consommation électrique, en particulier sur les circuits de cryptographie en technologie FPGA. A cet effet, l'invention a pour objet un procédé de protection d'un circuit de cryptographie programmable, ledit procédé utilisant des portes elle-mêmes composées de cellules à base de mémoire définissant la fonction logique de chaque cellule, le circuit étant 30 configuré de façon à intégrer un réseau différentiel apte à effectuer des calculs sur des variables binaires composées de couples de signaux, le réseau différentiel comportant un premier réseau de cellules réalisant des fonctions logiques sur la première composante des couples et un deuxième réseau de cellules duales fonctionnant en logique complémentaire sur la 35 deuxième composante des couples. Le calcul comporte deux phases : une phase de précharge mettant les deux signaux de toutes les variables dans un état identique connu (par exemple 0), une phase d'évaluation où le calcul proprement dit est effectué par les cellules, auquel cas un seul signal sur les deux représentant chaque variable est actif, et une phase de synchronisation avant chaque phase de précharge et d'évaluation. La phase de synchronisation des variables est par exemple effectuée au niveau d'un groupe de variables et est intercalée avant la phase d'évaluation au niveau de chaque cellule apte à recevoir plusieurs signaux véhiculant des variables d'entrée, la synchronisation étant effectuée sur le signal le plus 1 o retardé. La phase de synchronisation des variables peut aussi être effectuée au niveau d'un groupe de variables et être intercalée avant la phase de précharge au niveau de chaque cellule de calcul apte à recevoir plusieurs signaux véhiculant des variables d'entrée, la synchronisation étant effectuée 15 sur le signal le plus retardé. La phase de synchronisation est par exemple réalisée, pour chaque cellule du réseau différentiel, par un mécanisme de rendez-vous utilisant des cellules d'unanimité dont les entrées sont communes aux entrées de ladite cellule du réseau différentiel et dont la sortie commande le fonctionnement 20 de ladite cellule, le rendez-vous ayant lieu lorsqu'il y a unanimité de valeurs sur les entrées des cellules d'unanimité, les sorties de la porte ne changant que lorsque le rendez-vous est atteint à l'issue de la synchronisation. Pour faciliter la compréhension on considérera que tous les couples de signaux (correspondants aux variables non complémentées et 25 complémentées) sont dans l'état (0,0) lors de la phase de précharge. Le raisonnement s'appliquerait aussi avec l'état (1,1). Les cellules d'unanimité sont de deux types : unanimité à un U1, et unanimité à zéro Uo, ayant les entrées communes et autorisant respectivement la phase d'évaluation et la phase de précharge: 30 - la cellule d'unanimité à 1 U1 génère un signal autorisant l'évaluation dès que toutes les variables d'entrée ont quitté l'état de précharge. Cette condition revient à dire que tous les couples de signaux d'entrée sont passés de l'état de précharge (0,0) à un des états (0,1) ou (1,0). - la cellule d'unanimité à 0 Uo génère un signal autorisant la précharge dès 35 que toutes les variables d'entrée ont quitté l'état d'évaluation. Cette condition revient à dire que tous les couples de signaux d'entrée sont passés de l'état d'évaluation (0,1) ou (1,0) à l'état de précharge (0, 0). . Les cellules de calculs sont gelées (ou mémorisées) tant que les unanimités à un ou zéro sont inactifs. Ceci est assuré par les fonctions mémoires de rendez-vous. Dans un mode de réalisation particulier, une porte reçoit un signal global PRE de mise à zéro des variables d'entrée avant la phase de précharge. Ce signal est commun à toutes les portes et est en avance par rapport aux autres signaux. La précharge assurée par PRE permet d'éliminer à la fois la 1 o cellule d'unanimité Uo et la mémorisation nécessaire au rendez-vous. La phase de synchronisation utilise par exemple : - une cellule d'unanimité U1 qui génère un signal autorisant l'évaluation dès que toutes les variables d'entrées ont quitté l'état de précharge ; - une porte combinant la sortie de la cellule U1 et du signal PRE de mise à 15 zéro , Le signal combiné de synchronisation U/PRÉ autorisant selon sa valeur binaire la phase de précharge (U/PRÉ =0) ou la phase d'évaluation (U/PRE =1). 20 L'invention a également pour objet un circuit protégé selon le procédé précédemment décrit. Le circuit programmable, par exemple de cryptographie, comporte des portes elle-mêmes composées de cellules à base de mémoire définissant la fonction logique de chaque cellule, ledit circuit intégrant un réseau différentiel apte à effectuer des calculs sur des 25 variables binaires composées de couples de signaux, le réseau différentiel comportant un premier réseau de cellules réalisant des fonctions logiques sur la première composante des couples et un deuxième réseau de cellules duales fonctionnant en logique complémentaire sur la deuxième composante des couples. Une étape de calcul comporte une phase de précharge mettant 30 les variables dans un état connu à l'entrée des cellules, une phase d'évaluation où un calcul est effectué par les cellules et une phase de synchronisation avant chaque phase de précharge et d'évaluation. Dans un mode de réalisation particulier, une cellule du réseau différentiel comportant la mémoire définissant sa fonction logique associée à un arbre 35 de multiplexeurs, les entrées des multiplexeurs de la première colonne de l'arbre recevant les valeurs de la mémoire, la sortie du dernier multiplexeur formant la sortie de la cellule, le signal combiné de synchronisation U/PRÉ commande les multiplexeurs de la première colonne, les multiplexeurs des autres colonnes étant commandés par les signaux d'entrée de la cellule. Les couples de signaux des variables d'entrée sont par exemple associés à la même colonne de multiplexeurs dans leur cellule respective. Le circuit comporte par exemple au moins une porte protégée, quatre cellules de 2n entrées étant utilisées pour générer une porte protégée de 2n-1 entrées et deuxcellules étant utilisées pour réaliser l'unanimité U1 et 2 1 o cellules pour le réseau différentiel. Le comporte par exemple au moins une porte protégée, huit cellules de 2n entrées étant utilisées pour générer une porte protégée de 2n entrées, quatre cellules étant utilisées pour réaliser les unanimités U1 et Uo, deux cellules étant utilisées pour le réseau différentiel et deux cellules étant 15 utilisées pour le rendez vous permettant de geler les sorties de la porte, les fonctions logiques utilisées devant respecter la propriété de croissance. Le circuit peut dans un mode de réalisation, comporter au moins une cellule protégée, deux cellules de 2n entrées étant utilisées pour générer une porte protégée de n entrées, les deux cellules étant utilisées pour réaliser le 20 réseau différentiel intégrant l'unanimité, les fonctions logiques utilisées devant respecter la propriété de croissance. D'autres caractéristiques et avantages de l'invention apparaîtront à l'aide de la description qui suit faite en regard de dessins annexés qui représentent : 25 - la figure 1, une porte � ET � en logique différentielle ; - la figure 2, une présentation des phases d'une étape de calcul en logique différentielle dans un circuit programmable, du type FPGA par exemple ; - la figure 3, un exemple d'évaluation anticipée en logique différentielle ; 30 - la figure 4, une illustration de phases de synchronisation intercalées entre les phases de précharge et d'évaluation dans une étape de calcul à l'intérieur d'un circuit en logique BCDL (Balanced Cell-Based Differential Logic) selon l'invention ; - la figure 5, une illustration des différences de chemins à l'intérieur d'un 35 réseau différentiel pour parvenir à une cellule de calcul ; - la figure 6, Le principe de fonctionnement d'une porte BCDL réalisant une synchronisation des variables à l'entrée suivi du calcul dans le réseau différentiel ; - la figure 7, une illustration des phases de calcul simplifiées dans une porte BCDL selon l'invention ; - la figure 8, Le principe de fonctionnement d'une porte BCDLpour la mise en oeuvre des phases de calcul simplifiées précitées à l'aide d'un signal global ; - la figure 9, une présentation des chronogrammes des signaux 1 o intervenant dans les phases de calcul précitées ; - la figure 10, une présentation de l'architecture d'une cellule de calcul dans un réseau programmable, notamment du type FPGA. - les figures 11a, 11 b, 11c et 11d, une illustration des équilibres de consommation à l'intérieur d'un circuit selon l'invention ; 15 - la figure 12, une présentation de la structure d'une porte BCDL; - la figure 13, un exemple de réalisation de la fonction d'unanimité dans une cellule FPGA ; - la figure 14, un exemple de réalisation d'une porte BCDL n'ayant pas une entrée de précharge globale, permettant d'accepter un grand 20 nombre d'entrée et nécessitant des cellules de rendez-vous ; - la figure 15, un exemple de réalisation d'une porte BCDL ayant peu d'entrée et où les fonctions d'unanimité et de calcul sont intégrées dans la même cellule. 25 La figure 1 présente une porte � ET � 1, 2 en logique WDDL comme exemple d'illustration du principe de la logique différentielle. Celle-ci est composée de deux réseaux logiques duaux 1, 2, fonctionnant en logiques complémentaires. Les données sont représentées en double rail, chaque variable logique a étant formée d'un couple de signaux (at, a f) codés de la 30 façon suivante : - (0, 0) pour l'état de repos : la valeur de a n'est pas définie, elle est noté 0 dans la suite ; - (1, 0) est un état actif où a = 1 ; - (0, 1) est un état actif où a = 0. Une porte logique H à deux entrées a et b et une sortie s est physiquement représentée par deux portes 1, 2 ayant respectivement les fonctions logiques T(at,bt) et F(af,bf) telles que : - st =T(at,bt) - sf =F(af,bf) Le réseau logique � vrai � correspond à la fonction T qui délivre le signal st . Le réseau logique dual � faux � correspond à la fonction F qui délivre le signal dual sf. La figure 1 illustre la porte � ET � où le réseau � vraie � 1 réalisant la fonction T reçoit les deux entrées non complémentées at et bt . 1 o La fonction duale � OU � réalise la fonction F . Pour un signal x les relations suivantes sont vérifiées : - T (x) = H(x) - F(x) = H(x) 15 La figure 2 présente les phases d'une étape de calcul en logique différentielle, par exemple du type WDDL (Wave Dynamic Differential Logic). Cette étape comporte des phases successives de précharge 21 et d'évaluation 22. Des exemples d'états des variables d'entrées at,bt,af,bf et des variables de sorties correspondantes st,s f sont présentés en regard des 20 phases de précharge et d'évaluation. Les chronogrammes de la figure 2 montrent que le nombre de transitions est le même, trois en l'occurrence, lors du passage de la phase de précharge à la phase d'évaluation et vice-versa. Comme la consommation est directement liée au nombre de transitions dans les technologies électroniques de type CMOS notamment, la consommation 25 est ainsi équilibrée. Cependant, malgré un apparent équilibre de la consommation, des phénomènes du second ordre peuvent laisser place à des fuites d'information. Par exemple si at est en avance ou en retard par rapport à af, le décalage temporel peut être perçu par un attaquant qui en déduit donc la 30 valeur de la variable a. Ce phénomène peut être déjoué en utilisant une interconnexion à double rail équilibrée, c'est-à-dire avec deux lignes parfaitement équilibrées d'un point de vue électrique, notamment en termes de longueur et de capacité. En supposant que les lignes à double rail soient équilibrées, il existe bien d'autres phénomènes laissant des possibilités 35 d'attaques dans les logiques proposées actuellement. Comme indiqué précédemment, les plus importants sont notamment l'évaluation anticipée et les différences technologiques des réseaux différentiels. La figure 3 des illustre des chronogrammes en logique WDDL avec une évaluation anticipée. Si le signal a est en avance ou en retard par rapport au signal b , il peut se produire une évaluation anticipée comme l'illustre cette figure 3. Le retard entre les composantes des signaux a et b est donc reflété à la sortie de la porte 1, 2 par la différence logique entre la fonction � ET � et la fonction � OU �. Les décalages Atl et Ott permettent de savoir 1 o si le signal a vaut 0 ou 1. Plus précisément dans la figure 3, b est toujours plus rapide que a. Selon que b vaut 0, comme dans la première moitié des chronogrammes ou 1, comme dans la seconde moitié, la sortie évalue moins vite, à Atl , ou plus vite, à Ott , ce qui trahit sa valeur. De même qu'il y a une évaluation 22 anticipée, il existe une précharge 21 anticipée qui fait que des 15 signaux sont plus rapides à passer à 0 que d'autres. Deux raisons font notamment que b est plus rapide que a : - les données bt et bf sont raccordées directement à la porte tandis que at et a f passent par une multitude d'interconnexions et donc d'éléments de commutations ; 20 - les données at et a f passent par des portes intermédiaires alors que bt et bf arrivent directement. Un autre phénomène, entraînant une vulnérabilité aux attaques par analyse de consommation, lié à la technologie est la différence d'énergie dépensée 25 entre un réseau logique et son complémentaire. Par exemple en logique WDDL, pour la porte � ET � si a vaut 1, la porte � ET � commute si b vaut 1 sinon c'est la porte � OU �. Il est donc possible d'en déduire la valeur de b si les transitions des portes � ET � et � OU � ne dépensent pas la même énergie. 30 La logique MDPL s'affranchit de ce problème mais avec un surcoût. Il est tout d'abord nécessaire de disposer d'un générateur de vrai aléa qui produit un bit de masque par cycle d'horloge. De plus une entrée de chaque porte doit être dédiée pour le masque. De par sa nature différentielle, la logique WDDL est nécessairement deux 35 fois plus complexes qu'une logique normale. De plus une contrainte importante s'ajoute sur le choix des fonctions T et F qui doivent être croissantes. Cette condition permet à la fois d'éviter les commutations parasites lors des phases de calcul et de garantir la propagation de la valeur de précharge le long du cône de logique. Cette contrainte de croissance limite le type de cellules dans un FPGA. La logique MDPL est encore plus complexe à réaliser en FPGA. L'invention réalise notamment un nouveau type de logique éliminant les défauts de l'évaluation anticipée et des différences technologiques que l'on 1 o appellera par la suite logique BCDL, selon l'expression anglo-saxonne � Balanced Cell-based Differential Logic �. Dans un circuit fonctionnant en logique BCDL : - une étape de synchronisation des données est ajoutée à chaque porte avant le passage effectif à la phase de précharge ou d'évaluation ; 15 - la synchronisation est effectuée au niveau d'un groupe de données ; - le calcul de synchronisation est réalisé en parallèle du calcul effectué par le circuit. L'invention applique ce fonctionnement : - au niveau global, c'est-à-dire entre les cellules de calcul T,F ; 20 - au niveau local, c'est-à-dire en interne des cellules de calcul. La figure 4 illustre l'étape de synchronisation. Cette étape de synchronisation est effectuée avant la phase d'évaluation, à chaque porte, aux travers des réseaux duaux T,F . Elle permet notamment d'éviter les problèmes 25 d'évaluation et de précharge anticipées. La synchronisation consiste à attendre le signal le plus en retard. Les causes de l'évaluation anticipée provoquée par la différence de temps de calcul entre deux signaux sont donc annihilées par l'attente du signal le plus retardé. 30 La figure 4 illustre les quatre phases successives 41, 42, 43, 44 de synchronisation et de calcul composant un cycle de précharge et d'évaluation. Une première phase 41 exécute le calcul de précharge, une deuxième phase 42 effectue une première synchronisation par l'attente par 35 exemple du dernier signal à l'état 1. Cette phase est suivie de la phase d'évaluation 43 elle-même suivie d'une phase de synchronisation 44 avant l'étape de précharge 41 du cycle suivant. Cette étape de synchronisation 44 impose l'attente par exemple du dernier signal à 0. La figure 5 illustre une partie des réseaux logiques duaux comportant deux registres 51, 52 et des portes duales T,F 53, 54, 55. Un premier chemin 501 véhicule un signal a issu d'un premier registre 51 et un deuxième chemin 502 véhicule un signal b issu d'un deuxième registre 52. Les deux chemins se regroupent à l'entrée d'une porte T,F 55, cette dernière délivrant un signal 1 o de sortie s. Le signal a est retardé dans le premier chemin par une succession de portes 53, 54. Ces portes reçoivent par ailleurs en entrée des signaux issus d'autres chemins 503, 504. A l'entrée de chaque porte un bloc 56, 57, 58, effectue une synchronisation. Dans l'exemple de la figure 5, la porte finale 55 délivrant le signal s n'effectue son calcul qu'à un temps t2 15 correspondant à l'arrivée du signal le plus retardé, en l'occurrence le signal a dans cet exemple. La synchronisation en logique asynchrone se fait entre deux signaux avec une cellule de rendez-vous � RV �. Les cellules RV ne passe à une valeur logique L que si les deux entrées ont la même valeur logique L, sinon elles 20 ne changent pas d'état. Une cellule RV est donc une mémoire qui ne change d'état que s'il y a unanimité, à 0 ou à 1, des signaux d'entrée. Dans la logique BCDL le rendez-vous s'effectue sur un groupe de données dans une même cellule du circuit FPGA. Des cellules spécifiques Uo, U1 sont par exemple utilisées. 25 Une cellule U1 génère un signal autorisant l'évaluation, ce signal passe à 1 dès que toutes les données ont quitté l'état Q défini précédemment, plus particulière le signal noté U1(x, y, ... ) est défini par la relation suivante : U1 (x, y, ... ) = 1 six#(0,0)ety#(0, 0) ...,sinon U1(x,y,...)=0 (1) Une cellule Uo génère un signal autorisant le retour à l'état Q des sorties. Ce signal passe à 1 dès que chacune des entrées est à l'état Q conformément à la relation suivante : 30 35 Uo (x, y, ... ) = 1 Si x = y = (0, 0) ... , sinon Uo (x, y, ... ) = 0 (2) Le démarrage du calcul ne se fait donc que s'il y a unanimité, c'est-à-dire si Uo ou U1 sont actifs, et le calcul est gelé tant qu'il n'y a pas d'unanimité, c'est-à-dire si Uo et U1 sont inactifs. La figure 6 illustre le principe de la synchronisation en groupe de données. Les données a, b, c entrent en parallèle vers la porte duale T,F 60, qui effectue le calcul de précharge ou d'évaluation, et vers les cellules U1 61 et Uo 62. La cellule U1 envoie un signal d'autorisation d'évaluation 63 à la 1 o porte 60 et la cellule Uo envoie un signal d'autorisation de précharge 64 à la porte. Le calcul de la précharge est plus simple que le calcul d'évaluation car tous les signaux doivent passer à l'état 0 alors que l'évaluation correspond à un 15 vrai calcul sur des signaux portant l'information. Cette propriété peut être exploitée en logique BCDL en supprimant par exemple la phase de synchronisation 44 avant la précharge en utilisant un signal global de mise à l'état 0 par exemple, plus rapide que les autres signaux. La figure 7 illustre ce signal PRE qui met à 0 l'ensemble des signaux juste 20 avant la phase de précharge 41. Le cycle de précharge et d'évaluation ne comporte dans ce cas que trois phases dont une seule 42 de synchronisation avant la phase d'évaluation 43. La structure de la porte s'en trouve simplifiée pour deux raisons notamment : - Il n'est plus nécessaire d'effectuer l'unanimité à 0 car elle est 25 remplacée par le signal PRE ; - Le signal PRE étant en avance, il n'est plus nécessaire de mémoriser la sortie de la porte pour que celle-ci ne change que lors de l'unanimité à 0 ou 1 (le Rendez-Vous). La sortie change à 0 tout de suite après l'arrivée de PRE et ne peut passer à 1 que s'il y a 30 unanimité à 1. La figure 8 illustre une structure de porte en logique BCDL simplifiée car l'unanimité à 0 nécessaire dans le cas d'évaluation, tel qu'illustré par la figure 7, est remplacée par une porte � ET � 71 recevant l'ordre de passage en précharge par le signal de précharge globale PRE. Le signal U/PRÉ en sortie 72 de la porte � ET � permet ainsi de synchroniser le calcul : - quand U/PRÉ passe à 0, juste après le signal PRE, la précharge est forcée indépendamment des entrées et ; - quand U/PRÉ passe à 1, indiquant que d'une part le signal PRE est à 1 et que d'autre part le rendez-vous des valeurs d'entrée s'est effectué, la phase d'évaluation débute. La figure 9 présente les chronogrammes des signaux a, b, s et U/PRÉ au cours des phases de précharge 21 et d'évaluation 22. Ces chronogrammes 1 o montrent que la phase de précharge 21 est forcée indépendamment des entrées lors de la transition 91 du signal U/PRÉ . Dans les solutions exposées précédemment, appliquées au niveau global, la logique BCDL permet de combattre les problèmes liés à l'évaluation 15 anticipée au niveau de l'ensemble du circuit. La robustesse vis-à-vis des attaques doit aussi se vérifier localement au niveau d'une seule porte BCDL, en particulier pour éviter les différences technologiques et l'évaluation anticipée locale. D'autre part le rajout de la synchronisation ne doit pas se faire au détriment d'une augmentation forte de la complexité. 20 La figure 10 illustre la structure d'une cellule d'un circuit FPGA à trois entrées a, b, c. Dans un circuit FPGA la logique est réalisée dans des cellules à base de mémoire comportant des tables 101, appelée LUT selon l'expression anglo-saxonne � Look Up Table �, définissant la fonction logique de la cellule. La figure 10 montre que la structure de la cellule est basée sur une 25 table 101 (LUT) associée à un arbre de multiplexeurs 102 formant trois colonnes 103, 104, 105. La table 101 mémorise les valeurs binaires de la fonction s pour chacun des triplets (x, y, z) où x , y et z prenent la valeur 0 ou 1 La première colonne, ou colonne d'entrée, est formée des multiplexeurs 102 30 du premier étage de l'arbre, la troisième colonne 105 étant formée du multiplexeur du dernier étage, c'est-à-dire du multiplexeur de sortie. Les entrées a, b, c commandent les multiplexeurs. Le nombre de colonnes correspond ainsi au nombre d'entrées. Chacune des valeurs s(x, y, z) de la fonction est présente à l'entrée d'un multiplexeur de la colonne d'entrée 103. 35 Les différentes combinaisons des valeurs binaires a, b, c qui commandent les étages de multiplexeurs permettent de sélectionner les entrées de la colonne d'entrée 103. Selon l'invention, la robustesse locale est améliorée à partir des deux modes de brochage suivant : - le signal U/PRÉ entre sur la première colonne de l'arbre de multiplexeurs ; - les couples d'entrées � vrai � et et � faux � et sont associés à la même broche respective sur la porte T et sur la porte F. Ces modes de brochage permettent d'obtenir des résultats important en ce 1 o qui concerne la sécurité locale, ils sont par ailleurs très peu coûteux à mettre en oeuvre. En premier lieu, il n'y a pas de commutations parasites. Le signal U/PRÉ commutant en premier pendant la phase de précharge, les équipotentielles internes sont toutes forcées à 0 sans risque de commutations parasites 15 lorsque les entrées de données commutent. De même, ce signal commute en dernier avant la phase d'évaluation. Ainsi, les multiplexeurs commandés par les données sélectionnent des zéros. Puis, le signal U/PRÉ laisse la valeur de la fonction transiter à travers les multiplexeurs pré-positionnés 102. En second lieu, une complexité réduite est obtenue. En effet, pour la même 20 raison, il n'est pas nécessaire d'avoir des fonctions croissantes pour éviter les commutations parasites car les multiplexeurs sur les entrées sont déjà positionnés correctement. Ceci permet notamment d'utiliser toutes les fonctions possible, au nombre de 2n, pour une table LUT à n entrées, offrant un potentiel d'optimisation beaucoup plus large qu'avec un sous-ensemble 25 de fonctions croissantes. Par exemple pour une LUT à 4 entrées, il n'y a que 166 fonctions croissantes parmi les 65536 fonctions possibles. En troisième lieu, une forte réduction du biais technologique est obtenue. Le nombre total de commutations des équipotentielles de T et de F ne change pas en fonction des combinaisons des entrées. Ce nombre est constant, égal 30 à 2n û 1 lorsque n est le nombre d'entrées de la LUT. Ceci rend ainsi difficile de discriminer l'activité de T de celle de F car le profil de consommation est identique au niveau du couple T et F. De plus, la succession des commutations des multiplexeurs dans le temps est indépendante des données. Enfin il y a absence d'évaluation et de précharge anticipées à l'intérieur de la table LUT. En effet, c'est le signal U/PRÉ qui retarde l'évaluation, arrivant toujours après les signaux, et qui, sans attendre les données, force la précharge. En d'autres termes, l'évaluation est toujours retardée et la précharge toujours anticipée, et cela indépendamment des données. Les figures 11 a, 11 b, 11 c et 11 d illustrent l'équilibre des consommations lors des commutations en logiques BCDL dans l'exemple d'une table LUT à trois entrées. Plus particulièrement ces quatre figures présentent toutes les combinaisons dans une porte XOR à deux entrées lorsque le signal U/PRÉ commute. Pour toutes ces figures, la cellule du haut est la porte � vrai � T et la cellule du bas la porte � faux � F. Les pics de consommation d'énergie globale fonction du temps correspondant aux commutations des circuits T et F sont représentés par une courbe 111, les pics étant représentés en regard des colonnes et correspondent à l'énergie consommée lors de la commutation de leurs colonnes correspondantes. A titre d'exemple, sur la figure 11 a correspond au cas où le signal d'entrée, connecté aux deuxième 104 et troisième 105 colonnes est égal à (0, 0). Les multiplexeurs représentés en gras 112, 113, 114, 115, 116, 117, 118 voient leur sortie commuter. La courbe 111 montre les pics de consommations d'énergie correspondant à cette première combinaison (0, 0). Les courbes 111 de consommations associées aux combinaisons des figures suivantes sont identiques. Il y a donc un équilibre global au niveau du couple T, F, que ce soit en termes de temps de commutation ou de consommation énergétique. En d'autres termes, comme le montre les figures 11 a, 11 b, 11 c, 11 d il y a un nombre simultané de commutations pour chaque combinaison (0, 0), (0, 1), (1, 0), (1, 1). A partir d'un programme de réalisation d'une application dans un FPGA quelconque, le passage en logique BCDL peut se faire d'une façon automatique. Un outil d'analyse, obtenu à partir des outils standards des FPGA permet d'opérer une transformation vers les logiques présentées précédemment. L'analyse se limite à une substitution des éléments logiques aux variantes des portes BCDL. Le routage des paires de fils d'interconnexion doit être réalisé de façon équilibrée. La figure 12 illustre la structure d'une porte BCDL qui contient quatre cellules 121, 122, 123, 124, à savoir deux pour l'unanimité à 1 121, 122, une pour la fonction T 123 et une pour sa fonction duale F 124. La mise en cascade de cellules U, décrites précédemment est possible. Une porte BCDL est alors par exemple composée de : - deux cellules duales 123, 124, fonctionnant en logiques complémentaires, chaque cellule recevant n entrées, Eit pour la cellule T et Eif pour la cellule F, i variant de 1 à n, les cellules T et F délivrent respectivement les composantes st et Sf du signal de 1 o sortie ; - deux cellules U, pour faire l'unanimité à 1 et générer le signal U/PRÉ , chaque cellule recevant n entrées correspondant à une moitié des couples (Eit,Eif) La figure 13 illustre un exemple de réalisation de la cellule U'1 124 reliée en 15 cascade à la cellule U, pour faire l'unanimité. Les entrées (Eit,Eif)... (Ejt,Ej f) sont reliées à des portes � OR � 121, les sorties de ces portes � OR � sont combinées en entrée d'une porte � ET � 122, le signal inversé PRÉ étant combiné en entré de cette porte 122 avec les sorties des portes � OR �. La sortie de la porte � ET � 122 délivre le signal U/PRE . 20 Dans le cas d'une implémentation d'une porte BCDL sans précharge globale et avec un grand nombre d'entrées, le signal de précharge global PRE peut ne pas être utilisé. L'évolution des calculs se fait alors en quatre phases comme indiqué précédemment. Cela permet notamment de gagner une 25 entrée sur les tables LUT des portes T et F et d'augmenter ainsi le nombre des entrées. En revanche il faut remplacer la précharge globale par le calcul d'unanimité à O. D'autre part, il faut faire le rendez-vous (geler le calcul) quand il n'y a pas d'unanimité. Des cellules spécifiques de rendez-vous sont utilisées à cette fin. 30 Une porte BCDL sans précharge globale, illustrée par la figure 14, est donc composée de : - deux cellules 123, 124 fonctionnant en logiques complémentaires pour les fonctions T et F, chaque cellule recevant n entrées ; - au moins deux cellules de rendez-vous RV 143, 144, délivrant les 35 composantes st et Sf du signal de sortie, associées respectivement aux cellules des fonctions T et F, le nombre exact dépendant du nombre d'entrées de la LUT. - deux cellules Uo 141, 142 pour faire l'unanimité à 0, dont les sorties sont reliées aux entrées des cellules de rendez-vous ; - deux cellules U1 121, 122 pour faire l'unanimité à 1, dont les sorties sont reliées aux entrées des cellules de rendez-vous ; La porte illustrée par la figure 14 est notamment adaptée pour l'implémentation d'une boîte de substitution de l'algorithme de chiffrement DES. 1 o La porte BCDL sans précharge globale doit toujours respecter la condition de croissance sur les fonctions, comme la logique WDDL par exemple. Dans le cas d'une implémentation d'une porte BCDL sans précharge globale avec peu d'entrées, la fonction d'unanimité à 1 peut être intégrée aux cellules 15 T et F comme l'illustre l'exemple de la figure 15. Il n'est alors plus nécessaire d'utiliser le signal PRE car la fonction d'unanimité à 1 remet à zéro les fonctions T et F avec l'arrivée du signal le plus rapide. Ce principe n'est toutefois pas applicable lorsque les cellules U1 sont séparées car il existe alors une course de signaux, les cellules T et F pouvant passer à la phase de 20 précharge plus tôt que prévu si la cellule U1 est plus lente. Dans ce cas, il y a de nouveau propagation de la valeur 0 de la précharge car le signal PRE n'existe pas et il est nécessaire d'avoir recours à des fonctions croissantes pour éviter les commutations parasites et propager la précharge le long du cône logique. Dans l'exemple de la figure 16, les composantes duales 25 (Eit,Ei f) des signaux d'entrée attaquent une porte � OR � 153 intégrée dans les cellules T 151 et F 152, ces entrées étant par ailleurs reliées aux entrées des portes T et F proprement dites des cellules 151, 152. La sorties de ces cellules ainsi que les sorties des portes � OR � 153 sont combinées à l'entrée d'une porte � ET � 154 dont les sorties délivrent les composantes st 30 et s f du signal de sortie. La figure 17 illustre une porte dans le cas particulier d'une fonction à faible nombre d'entrées. La logique pour l'unanimité à 1 est intégrée dans les cellules T et F, permettant ainsi de passer à la phase de précharge avec le signal le plus rapide. 35 REVENDICATIONS1. Procédé de protection d'un circuit de cryptographie programmable, caractérisé en ce qu'il utilise des portes elle-mêmes composées de cellules à base de mémoire (101) définissant la fonction logique de chaque cellule, le circuit étant configuré de façon à intégrer un réseau différentiel apte à effectuer des calculs sur des variables binaires composées de couples de signaux, le réseau différentiel comportant un premier réseau (1) de cellules 1 o réalisant des fonctions logiques (T) sur la première composante des couples et un deuxième réseau (2) de cellules duales fonctionnant en logique complémentaire (F) sur la deuxième composante des couples, une étape de calcul comportant une phase de précharge (41) mettant les variables dans un état connu à l'entrée des cellules, une phase d'évaluation (43) où un 15 calcul est effectué par les cellules et une phase de synchronisation (42, 44) avant chaque phase de précharge et d'évaluation 2. Procédé selon la revendication 1, caractérisé en ce que la phase de synchronisation (42) des variables est effectuée au niveau d'un groupe de 20 variables et est intercalée avant la phase d'évaluation au niveau de chaque cellule apte à recevoir plusieurs signaux véhiculant des variables d'entrée, la synchronisation étant effectuée sur le signal le plus retardé. 3. Procédé selon l'une quelconque des revendications précédentes, 25 caractérisé en ce que la phase de synchronisation (44) des variables est effectuée au niveau d'un groupe de variables et est intercalée avant la phase de précharge au niveau de chaque cellule de calcul apte à recevoir plusieurs signaux véhiculant des variables d'entrée, la synchronisation étant effectuée sur le signal le plus retardé. 30 4. Procédé selon l'une quelconque des revendications 2 ou 3, caractérisé en ce que la phase de synchronisation (42, 44) est réalisée, pour chaque cellule du réseau différentiel (53, 54, 55), par un mécanisme de rendez-vous (56, 57, 58) utilisant des cellules d'unanimité dont les entrées sont communes 35 aux entrées de ladite cellule du réseau différentiel et dont la sortie commande le fonctionnement de ladite cellule, le rendez-vous ayant lieulorsqu'il y a unanimité de valeurs sur les entrées des cellules d'unanimité, les sorties de la porte ne changant que lorsque le rendez-vous est atteint à l'issue de la synchronisation. 5. Procédé selon la revendication 4, caractérisé en ce que la phase de synchronisation utilise deux cellules d'unanimité U1 (61), Uo (62) ayant les entrées communes au réseau différentiel de calcul et autorisent respectivement la phase d'évaluation et la phase de précharge : - la cellule U1 générant un signal (63) autorisant l'évaluation dès que toutes 1 o ses entrées, couples de signaux associés à chaque variable, ont quitté l'état de précharge ; - la cellule Uo générant un signal (64) autorisant la précharge dès que toutes ses entrées, couples de signaux associés à chaque variable, sont passées à l'état de précharge. 15 6. Procédé selon l'une quelconque des revendications précédentes, caractérisé en ce qu'il utilise pour la phase de synchronisation un signal global (PRE) de mise à zéro des variables d'entrée avant la phase de précharge, à la place de la cellule Uo, le signal (PRE) étant en avance par 20 rapport aux autres signaux. 7. Procédé selon la revendication 6, caractérisé en ce que la phase de synchronisation utilise : - une cellule U1 (61) ayant les entrées communes au réseau différentiel de 25 calcul et générant un signal autorisant l'évaluation dès que toutes ses entrées ont quitté l'état de précharge ; - une porte (71) combinant la sortie de la cellule U1 et le signal (PRE) de mise à zéro ; le signal combiné de synchronisation (U/PRÉ) autorisant selon sa valeur 30 binaire la phase de précharge ou la phase d'évaluation. 8. Circuit programmable, caractérisé en ce qu'il comporte des portes elle-mêmes composées de cellules à base de mémoire (101) définissant la 35 fonction logique de chaque cellule, ledit circuit intégrant un réseau différentielapte à effectuer des calculs sur des variables binaires composées de couples de signaux, le réseau différentiel comportant un premier réseau (1) de cellules réalisant des fonctions logiques (T) sur la première composante des couples et un deuxième réseau (2) de cellules duales fonctionnant en logique complémentaire (F) sur la deuxième composante des couples, une étape de calcul comportant une phase de précharge (41) mettant les variables dans un état connu à l'entrée des cellules, une phase d'évaluation (43) où un calcul est effectué par les cellules et une phase de synchronisation (42, 44) avant chaque phase de précharge et d'évaluation. 9. Circuit selon la revendication 8, caractérisé en ce que la phase de synchronisation (42) des variables est effectuée au niveau d'un groupe de variables et est intercalée avant la phase d'évaluation au niveau de chaque cellule apte à recevoir plusieurs signaux véhiculant des variables d'entrée, la synchronisation étant effectuée sur le signal le plus retardé. 10. Circuit selon l'une quelconque des revendications 8 ou 9, caractérisé en ce que la phase de synchronisation (44) des variables est effectuée au niveau d'un groupe de variables et est intercalée avant la phase de précharge au niveau de chaque cellule de calcul apte à recevoir plusieurs signaux véhiculant des variables d'entrée, la synchronisation étant effectuée sur le signal le plus retardé. 11. Circuit selon l'une quelconque des revendications 9 ou 10, caractérisé en ce que la phase de synchronisation (42, 44) est réalisée, pour chaque cellule du réseau différentiel (53, 54, 55), par un mécanisme de rendez-vous (56, 57, 58) utilisant des cellules d'unanimité dont les entrées sont communes aux entrées de ladite cellule du réseau différentiel et dont la sortie commande le fonctionnement de ladite cellule, le rendez-vous ayant lieu lorsqu'il y a unanimité de valeurs sur les entrées des cellules d'unanimité, les sorties de la porte ne changant que lorsque le rendez-vous est atteint à l'issue de la synchronisation. 12. Circuit selon la revendication 11, caractérisé en ce que la phase de 35 synchronisation utilise deux cellules d'unanimité U1 (61), Uo (62) ayant lesentrées communes au réseau différentiel de calcul et autorisent respectivement la phase d'évaluation et la phase de précharge : - la cellule U1 générant un signal (63) autorisant l'évaluation dès que toutes ses entrées, couples de signaux associés à chaque variable, ont quitté l'état 5 de précharge ; - la cellule Uo génèrant un signal (64) autorisant la précharge dès que toutes ses entrées, couples de signaux associés à chaque variable, sont passées à l'état de précharge. 10 13. Circuit selon l'une quelconque des revendications 8 à 12, caractérisé en ce qu'il utilise pour la phase de synchronisationun signal global (PRE) de mise à zéro des variables d'entrée avant la phase de précharge, à la place de la cellule Uo,le signal (PRE) étant en avance par rapport aux autres signaux. 15 14. Circuit selon la revendication 13, caractérisé en ce que la phase de synchronisation utilise : - une cellule U1 (61) ayant les entrées communes au réseau différentiel de calcul et générant un signal autorisant l'évaluation dès que toutes ses 20 entrées ont quitté l'état de précharge; - une porte (71) combinant la sortie de la cellule U1 et le signal (PRE) de mise à zéro ; le signal combiné de synchronisation (U/PRÉ) autorisant selon sa valeur binaire la phase de précharge ou la phase d'évaluation. 25 15. Circuit selon la revendication 14, caractérisé en ce qu'une cellule du réseau différentiel comportant la mémoire (101) définissant sa fonction logique associée à un arbre de multiplexeurs (103, 104, 105), les entrées des multiplexeurs de la première colonne (103) de l'arbre recevant les valeurs de 30 la mémoire, la sortie du dernier multiplexeur (102) formant la sortie de la cellule, le signal combiné de synchronisation (U/PRÉ) commande les multiplexeurs de la première colonne (103), les multiplexeurs des autres colonnes étant commandés par les signaux d'entrée de la cellule. 16. Circuit selon la revendication 15, caractérisé en ce les couples de signaux des variables d'entrée sont associés à la même colonne de multiplexeurs dans leur cellule respective. 17. Circuit selon l'une quelconque des revendications 8 à 16, caractérisé en ce qu'il comporte au moins une porte protégée, quatre cellules de 2n entrées étant utilisées pour générer une porte protégée de 2n-1 entrées (12) et deux cellules étant utilisées pour réaliser l'unanimité U1 et 2 cellules pour le réseau différentiel. 18. Circuit selon l'une quelconque des revendications 8 à 17, caractérisé en ce qu'il comporte au moins une porte protégée, huit cellules de 2n entrées étant utilisées pour générer une porte protégée de 2n entrées (14), quatre cellules étant utilisées pour réaliser les unanimités U1 et U0, deux cellules étant utilisées pour le réseau différentiel et deux cellules étant utilisées pour le rendez vous permettant de geler les sorties de la porte, les fonctions logiques utilisées devant respecter la propriété de croissance. 19. Circuit selon l'une quelconque des revendications 8 à 18, caractérisé en ce qu'il comporte au moins une cellule protégée, deux cellules de 2n entrées étant utilisées pour générer une porte protégée de n entrées (15), les deux cellules étant utilisées pour réaliser le réseau différentiel intégrant l'unanimité, les fonctions logiques utilisées devant respecter la propriété de croissance. 20. Circuit selon l'une quelconque des revendications 8 à 19, caractérisé en ce qu'il effectue une fonction de cryptographie. 21. Circuit selon l'une quelconque des revendications 8 à 20, caractérisé en ce que ledit circuit est du type FPGA.35