Method for executing a program intended to be interpreted by a virtual machine protected against fault injection attacks

A method for generating a program (P) to be interpreted by a virtual machine (M), said virtual machine stored in a non-volatile memory, wherein the method comprises:

• generating a target program portion (P1) containing code instructions interpretable by the virtual machine (M) using machine code, wherein the target program portion (P1) has a range of addresses defining the portion within the target program (P);
• generating interpretation rights data of the target program configured to indicate to the virtual machine (M) that only the code instructions contained in the target program portion (P1) are allowed to be interpreted by the virtual machine using machine code executed by a hardware processor to execute the target program (P), to prevent the virtual machine from interpreting code instructions including the reference code instruction outside the range of addresses, wherein when the reference code instruction is not within range of addresses, signaling an error indicating a security exception by the virtual machine.

A non-transitory computer-readable medium comprising a target program to be interpreted by a virtual machine (M), the target program comprising:

• a target program portion (P1) containing code instructions including a reference code instruction interpretable by the virtual machine (M), wherein the target program portion (P1) has a range of addresses defining the portion within the target program,
• interpretation rights data (DR) of the target program configured to indicate to the virtual machine (M) that only the code instructions contained in the portion (P1) of the target program are allowed to be interpreted by the virtual machine (M) using machine code executed by a hardware processor to execute the target program only if the address of the reference code instruction is within the range of addresses, to prevent the virtual machine from interpreting malicious code instructions outside the portion of the target program, wherein when the reference code instruction is not within range of addresses, an error is generated indicating a security exception by the virtual machine.