Renaud Marlet

Follow

Person

Bordeaux, FR

People

Patents Grantslast 30 patents

Information Patent Grant
Control of data access by dynamically verifying legal references
- Patent number 8,321,668
- Issue date Nov 27, 2012
- Trusted Logic
- Xavier Leroy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for controlling program execution integrity by verifying exe...
- Patent number 7,882,396
- Issue date Feb 1, 2011
- Trusted Logic
- Dominique Bolignano
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for determining operational characteristics of a program
- Patent number 7,827,534
- Issue date Nov 2, 2010
- Trusted Logic
- Eric Vetillard
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for compression of object code interpreted by tree-structure...
- Patent number 7,565,646
- Issue date Jul 21, 2009
- Trusted Logic
- Daniel Le Metayer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic analysis based compression of interpreted code by replacin...
- Patent number 7,467,376
- Issue date Dec 16, 2008
- Trusted Logic
- Daniel Le Metayer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method for controlling program execution integrity by verifying exe...
- Publication number 20100070804
- Publication date Mar 18, 2010
- Dominique Bolignano
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for determining operational characteristics of a program
- Publication number 20070168987
- Publication date Jul 19, 2007
- Eric Vetillard
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Control of data access by dynamically verifying legal references
- Publication number 20070168313
- Publication date Jul 19, 2007
- Xavier Leroy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for compression of object code interpreted by tree-structure...
- Publication number 20040243985
- Publication date Dec 2, 2004
- Danier Le Metayer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for the compression of an interpreted code semantic analysis
- Publication number 20040221282
- Publication date Nov 4, 2004
- Daniel Le Metayer
- G06 - COMPUTING CALCULATING COUNTING