Abstract:
L'invention concerne un procédé de vérification d'une quantité numérique (SKEY) contenue dans un élément de mémorisation non volatile d'un processeur (SECPROC) et un tel processeur, consistant à découper ladite quantité en blocs de taille identique, appliquer un algorithme de chiffrement symétrique à chaque bloc, et appliquer une fonction non linéaire et bijective au résultat (MAC) des étapes précédentes pour obtenir une valeur courante (AUTH) à comparer (25) à une valeur attendue (VAL) fournie par l'extérieur (MAINDEV) du processeur.
Abstract:
L'invention concerne une cellule (2) de détection d'une perturbation susceptible d'affecter le fonctionnement d'un processeur dans lequel elle est intégrée, comportant des moyens (21, 22) pour maintenir un invariant en fonctionnement normal du processeur et pour détecter une perte d'invariant consécutive à l'apparition d'une perturbation.
Abstract:
L'invention concerne un procédé et un processeur de contrôle de l'exécution d'un programme mettant en oeuvre des opérations successives (OP j ), consistant : pendant l'exécution du programme, à comparer chaque opération, par rapport à une liste pré-établie, et pour chaque opération contenue de la liste, incrémenter et mémoriser un nombre d'occurrences de cette opération ; et en fin d'exécution du programme, à comparer le nombre d'occurrences de l'exécution courante du programme pour chaque opération par rapport à des plages de nombres d'occurrences stockées précédemment et affectées à chaque opération.
Abstract:
L'invention concerne un procédé et un circuit de protection d'une quantité numérique (d) sur un premier nombre de bits (n), dans un algorithme exécutant au moins une exponentiation modulaire d'une donnée (M) par ladite quantité, lesdites étapes comprenant au moins une élévation au carré et au moins une multiplication et mettant en oeuvre, pour chaque bit de ladite quantité, des étapes de calcul différentes selon l'état dudit bit, un même nombre de multiplications étant effectuées quel que soit l'état dudit bit et toutes les étapes de calcul (34, 35, 35') utilisant une multiplication étant prises en compte pour calculer un résultat final (S 0 ).
Abstract:
L'invention concerne une cellule (2) de détection d'une perturbation susceptible d'affecter le fonctionnement d'un processeur dans lequel elle est intégrée, comportant des moyens (21, 22) pour maintenir un invariant en fonctionnement normal du processeur et pour détecter une perte d'invariant consécutive à l'apparition d'une perturbation.