Trusted Logic

Gemalto Sa

Trusted Logic Mobility (Sas)

Trustonic Sas

Dominique Bolignano

Alexandre Frey

Renaud Marlet

Xavier Leroy

Axelle Apvrille

According to the inventive method, the chip card, a counting function (FC), a counter (Cpt) and a private key (Cf) stored in the write-only part of the memory region are stored in a persistent memory, the counter and the private key (Cf) being accessible only by the counting function (FC). When the chip card receives a counter request emitted by an requesting entity (ER), the counting function (FC) performs a modification of the counter (Cpt) and a calculation of a signature, and sends a response to the applicant entity (ER). When the on-board system receives the response to the counter request, the signature contained in the response is checked.

Method for creating a secure counter on an on-board computer system comprising a chip card

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.

Method for controlling program execution integrity by verifying execution trace prints

Growing community of inventors

Feucherolles, France

Dominique Bolignano