Thales Dis France Sas

Thales Dis Cpl Deutschland Gmbh

Gemalto Sa

Thales Dis France Sa

Sfnt Germany Gmbh

Eric Garreau

Sébastien Volpe

Peter Garba

Gregory Vigroux

Peter Gullberg

Alexandre Schaff

A method for securing an execution of a local application is provided and includes the steps of requesting, from the first user device, to execute, by the local application, at least one operation; generating, by the first user device, by executing the local application, a first challenge; sending, from the local application, to a second user device, the first challenge and a predetermined identifier relating to an associated key pair; and retrieving, by the second user device, based on the key pair identifier, a private key; generating by the second user device, a first response, by using the first challenge and the private key; and sending from the second user device to the local application, the first response. Other embodiments are disclosed.

Method for securing an execution of a local application and corresponding first and second user device and system

The present invention relates to method of securing a software code comprising at least one constant value, said method generating a secure software code and comprising the steps of: &#x2014;determining (S) by a processor in the software code a constant value to be protected, &#x2014;inserting (S) by the processor in the software code an indexed array of values such that the constant value to be protected can be determined from one value of the array, &#x2014;replacing (S) by the processor in the software code the constant value to be protected by a replacement variable, &#x2014;inserting (S) by the processor in the software code a first sequence of instructions which, when executed at runtime: &#x2022;computes the index in the array of the value from which the constant value to be protected can be determined, &#x2022;extracts from said array the value located at said computed index in said array, &#x2022;from said extracted value, determines the constant value to be protected, &#x2022;sets the value of said replacement variable equal to the determined constant value.

Method to secure a software code

The present invention relates to a method of securing a compiled software code (SC) comprising computer code instructions organized in a plurality of basic blocks, said method generating a secure software code (SSC) and comprising the steps of: &#x2022;determining (S) by a processor a portion of the software code to be protected, &#x2022;inserting (S) by the processor in a selected basic block of the software code a first sequence of instructions which when executed at runtime: computes an integrity check value on said portion of the software code to be protected and computes an index value based on said computed integrity check value, &#x2022;inserting (S) by the processor in the selected basic block of the software code an indexed array of memory addresses in which the address, when executing the secure software code, of a following basic block to be executed after the selected basic block is indexed by said index value, &#x2022;inserting (S) by the processor at the end of the selected basic block of the software code a jump instruction to the address indexed in the array by said index value computed at runtime.

The present invention relates to a server comprising at least an application outputting at least one cookie, the server including a scrambled cookie names generator, a correspondence mechanism associating connections attributes for the application with an unpredictable scrambled cookie name, the scrambled cookie name being the one provided in the cookie sent to client side for use in the next connections to the application.

Growing community of inventors

Meudon, France

Eric Garreau