Idemia Identity & Security France

Ahmadou Serre

Houssem Maghrebi

Marc Brugnon

Alexis Bailly

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 (ind). 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 stack (P, P) different to the execution stack (P). Storing in a second index register (ind), a unique second addressing datum (A) adapted to locate the integrity check data (X, Y) in the or each control stack (P, P).

Growing community of inventors

Issy-les-Moulineaux, France

Ahmadou Serre