This inventor holds 1 USPTO granted patent. Top assignee: Cp8 Technologies. Active years: 2006.
Company Filing History:
Years Active: 2006
Title: Innovations by Thomas Jensen
Introduction
Thomas Jensen is a notable inventor based in Rennes, France. He has made significant contributions to the field of embedded systems, particularly in the area of code transformation verification. His work is essential for ensuring the reliability and security of smart cards and other portable devices.
Latest Patents
Thomas Jensen holds a patent for a "Method for verifying code transformers for an incorporated system, in particular in a chip card." This invention relates to a method for verifying the transformation of source code into transformed code designed for embedded systems. The method includes determining a single virtual machine that factors in the behavior of both codes, identifying auxiliary functions that represent the differences between the source and transformed codes, and verifying a correspondence property between these auxiliary functions. This innovative approach enhances the verification process of code transformations.
Career Highlights
Jensen is currently associated with Cp8 Technologies, where he applies his expertise in embedded systems. His work focuses on developing methods that improve the functionality and security of smart cards and mobile devices. With a patent portfolio that includes 1 patent, he has established himself as a key player in his field.
Collaborations
Throughout his career, Thomas Jensen has collaborated with talented professionals such as Christian Goire and Pascal Fradet. These partnerships have contributed to the advancement of technology in embedded systems.
Conclusion
Thomas Jensen's innovative work in code transformation verification has made a significant impact on the field of embedded systems. His contributions continue to enhance the security and reliability of smart cards and mobile devices.