Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8543997 | Secure dynamic loading | David Leporini, Vincent Prunet | 2013-09-24 |
| 8191167 | Secure system and method for processing data between a first device and at least one second device provided with monitoring means | Laurent Frerebeau | 2012-05-29 |
| 7565646 | Method for compression of object code interpreted by tree-structured expression factorization | Renaud Marlet, Arnaud Venet, Alexandre Frey | 2009-07-21 |
| 7467376 | Semantic analysis based compression of interpreted code by replacing object instruction groups with special instruction specifying a register representing the object | Renaud Marlet, Arnaud Venet, Alexandre Frey | 2008-12-16 |
| 7020872 | Method for verifying code transformers for an incorporated system, in particular in a chip card | Christian Goire, Thomas Jensen, PASCAL FRADET, Ewen DENNEY | 2006-03-28 |