Patent · US Active

Method for controlling program execution integrity by verifying execution trace prints

US7882396B2 · kind B2 · utility

10Cited by

21References

25Claims

0Family size

Assignee

Logic Co., Ltd. · FR

Inventors

Dominique Bolignano · Paris, FR
Xavier Leroy · Versailles, FR
Renaud Marlet · Paris, FR

Key dates

Filing date	Dec 16, 2004
Grant date	Feb 1, 2011
Priority date	—
Expiry date	Jun 21, 2027

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/28
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

The inventive method for controlling a program execution integrity by verifying execution trace prints consists in updating the representative print of an execution path and/or data applied for a program execution, comparing the actual print value (dynamically calculated to an expected value (statistically fixed, equal to a value of the print if the program execution is not disturbed) at a determined program spots and in carrying out a particular processing by the program when the actual print differs from the expected value.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.