Computer program execution securing method for securitized electronic entity e.g. chip card, involves popping of instruction stack to permit detection of abnormality in program execution

摘要

The method involves pushing a predetermined value in a program instruction stack and popping of the stack to permit detection of abnormality in program execution. Popping of the stack is associated to a return execution instruction of the program or a sub-program of the program. The program is written in a programming language that comprises instructions for implementing pushing and popping during execution. Independent claims are also included for the following: (a) a computer medium readable by a computer system comprises computer program with instructions for implementing securitization method (b) a computer program stored on a computer medium (c) a securitized electronic entity.