U.S. patents available from 1976 to present.
U.S. patent applications available from 2005 to present.

Icon_funbox Quotables

"The production of too many useful things results in too many useless people."

Karl Marx

Newsletter  PatentStorm News

Make the Most of Our Site

See this month's Top Inventors and Most Cited Patents.

Stay on top of the latest innovations by subscribing to an RSS feed.

Registered users: Manage your profile.

 

Assignee: Trusted Logic


Location: Versailles, FR
No. of patents: 6

NumberTitleIssue Date
8082450Method for creating a secure counter on an on-board computer system comprising a chip card
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...
12/20/2011
7882396Method for controlling program execution integrity by verifying execution trace prints
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 calcu...
02/01/2011
7865724Telecommunication terminal comprising two execution spaces
The invention relates to a user interface-equipped computing device comprising means for implementing a series of applications, said means including two execution spaces. According to the invention, the applications of the second execution space (100, P1, ...
01/04/2011
7827534Method for determining operational characteristics of a program
The inventive method for determining operational characteristics of a program includes a verification procedure involving the following stages: the first stage for expressing the operational characteristics of the program in the form of functions related to events p...
11/02/2010
7565646Method for compression of object code interpreted by tree-structured expression factorization
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...
07/21/2009
7467376Semantic analysis based compression of interpreted code by replacing object instruction groups with special instruction specifying a register representing the object
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 ...
12/16/2008
 
Sign InRegister
Username  
Password   
forgot password?