This inventor holds 1 USPTO granted patent. Top assignee: Cp8 Technologies. Active years: 2006.
Company Filing History:
Years Active: 2006
Title: Ewen Denney: Innovator in Code Transformation Verification
Introduction
Ewen Denney is a notable inventor based in Rennes, France. He has made significant contributions to the field of embedded systems, particularly in the verification of code transformations. His work is essential for ensuring the reliability and security of smart cards and other portable devices.
Latest Patents
Ewen Denney 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
Ewen Denney is currently associated with Cp8 Technologies, where he applies his expertise in code verification. His work is pivotal in advancing the technology used in smart cards and mobile devices. With a focus on improving the reliability of embedded systems, Denney's contributions are recognized in the tech community.
Collaborations
Ewen collaborates with talented professionals such as Christian Goire and Thomas Jensen. Their combined efforts contribute to the innovative projects at Cp8 Technologies, fostering a collaborative environment that drives technological advancements.
Conclusion
Ewen Denney's work in code transformation verification represents a significant advancement in embedded systems technology. His patent and collaborations highlight his commitment to innovation in this critical field.