Procedimiento de protección de un dispositivo electrónico que ejecuta un programa contra ataques por inyección de error y por confusión de tipo

Procedimiento de protección de un dispositivo electrónico (1) que ejecuta un programa contra ataques por inyección de error y por confusión de tipo susceptibles de afectar a una variable (Z) destinada a ser utilizada por el programa, estando caracterizado el procedimiento por que el mismo comprende las etapas de: · cálculo de datos de control de integridad (X, Y) de la variable (Z), dependiendo los datos de control de integridad: o de un tipo (T) de la variable (Z), y o de un valor (V) de la variable (Z) memorizado en una pila de ejecución (P1) y/o de un primer dato de direccionamiento (A) memorizado en un primer registro de índices (ind1), estando adaptado el primer dato de direccionamiento (A) para localizar el valor (V) memorizado en la pila de ejecución (P1), · memorización de los datos de control (X, Y) de integridad de la variable (Z) en al menos una pila de control (P2, P3) diferente de la pila de ejecución (P1), · memorización, en un segundo registro de índices (ind2), de un único segundo dato de direccionamiento (A2) adaptado para localizar los datos de control de integridad (X, Y) en la o en cada pila de control (P2, P3) · verificación de integridad de la variable (Z) puesta en práctica cuando un programa controla la lectura del dato de direccionamiento (A) de la variable (Z) y/o una lectura del valor (V) de la variable (Z), comprendiendo la citada verificación una comparación entre los datos de control de integridad memorizados en la o cada pila de control (P2, P3) y nuevos datos de control de integridad calculados sobre la base: o de un tipo (T, T') de la variable (Z) visto por el programa durante el control de la lectura, y o del valor (V, V') de la variable (Z) presente en la pila de ejecución (P1) y/o del dato de direccionamiento (A, A') presente en el primer registro de índices (ind1) durante el control de lectura. A method for protecting an electronic device executing a program against fault injection and type confusion attacks likely to affect a variable (Z) intended to be used by the program. The method includes calculating integrity check data (X, Y) of variable (Z), dependent on a type (T) of the variable (Z), and a value (V) of the variable (Z) stored in an execution stack (P1) and/or of a first addressing datum (A) stored in a first index register (ind1). The first addressing datum (A) adapted to locate the value (V) stored in the execution stack (storing the integrity check data (X, Y) on the variable (Z) in at least one control sta