Winner of the Embedded Award 2017

The company Prove&Run convinced the jury in the 'Software' category. Its product, called 'ProvenCore-M', is a further development of the secure operating system 'ProvenCore'. With 'ProvenCore-M', the company is expanding its ultra-secure operating system with a version dedicated to the TrustZone security architecture of ARM Cortex-M V8 processors. To withstand sophisticated remote attacks, Trusted Execution Environments (TEE) or secure operating systems and hardware or software-based hypervisors must be formally proven. The primary goal of ProvenCore-M is to provide proven protection of security-critical services (boot, authentication, update) on the TrustZone side. Dr. Roland Fleck (far left) and Richard Krowoza (far right) from NürnbergMesse presented the Embedded Award to David Garnier and Patrice Hameau from Prove&Run.
