Nxp B.v.

Clemens Orthacker

Dimitri Warnez

Florian Boehl

Christian Steger

Andreas Daniel Sinnhofer

Klaus Martin Potzmader

A method of trust provisioning a device, including: receiving, by a hardware security module (HSM), a list of instructions configured to produce trust provisioning information; performing, by the HSM, a constraint check on the list of instructions including performing a symbolic execution of the list of instructions; receiving confidential inputs; executing, by the HSM, the list of instructions on the confidential inputs when the list of instructions passes the constraint check; outputting, by the HSM, trust provisioning information.

Method for symbolic execution on constrained devices

According to an aspect of the invention, a method for personalizing a secure element for a mobile device is conceived, wherein an application is stored in the secure element and wherein the application is pre-provisioned by loading secure credentials into the application without tying said secure credentials to a specific user of the secure element.

Growing community of inventors

Graz, Austria

Clemens Orthacker