Trusted Logic

Trusted Logic Mobility (sas)

Daniel Le Metayer

Alexandre Frey

Renaud Marlet

Arnaud Venet

David Leporini

Laurent Frerebeau

Vincent Prunet

A method for loading, installing and running software, called loading units, having different levels of confidence by a data processing unit (). The method includes at least associating at least one structure of information data concerning security requirements and characteristics of this loading unit with each loading unit (); associating a dynamic data structure () representative of the state of security in the data processing unit () to the data processing unit (); validating the security requirements and characteristics of each loading unit () with regard to the state in the data processing unit () contained in the dynamic data structure (via an autonomous security module (), and; if the validation is positive, authorizing, via the security module (), the loading, installation or running of the loading unit ().

Secure dynamic loading

A secure system () for processing data includes a first device (), and at least one second device () is characterized in that&#x2014;each second device () comprises monitoring elements () suitable for transmitting operating information to the first device (), and&#x2014;the first device () includes elements () for storing a behavioral model of each second device () and elements () for comparing the operating information received from each second device () with the behavioral model so as to determine whether the operation of the second device () is compliant with the behavioral model stored, and validation elements () suitable for preventing the running of a sensitive operation on this second device or for instructing a change of state of the second device if the second device does not manifest compliant operation. A method and a computer program are also described.

Secure system and method for processing data between a first device and at least one second device provided with monitoring means

A method for compressing an interpreted object code in a system using an interpreter, by identifying, in the interpreted object-coded program, similar non-contiguous groups of instructions, of arbitrarily complex structure, by replacing all or part of said groups in the interpreted object code of the program with newly-created specialized instructions and by instrumenting the interpreter and/or the interpreted object code of the program so as to render it capable of implementing the newly-created instructions.

Method for compression of object code interpreted by tree-structured expression factorization

The invention concerns a method for compressing program code for execution in a system with few physical resources. This method comprises a semantic analysis of the code as to identify the objects accessed at each program point and to replace in this program groups of instructions used to access the objects by more compact specialised instructions.

Semantic analysis based compression of interpreted code by replacing object instruction groups with special instruction specifying a register representing the object

Growing community of inventors

Le Chesnay, France

Daniel Le Metayer