公开(公告)号：US10387687B2

公开(公告)日：2019-08-20

申请号：US15482462

申请日：2017-04-07

Applicant: NXP B.V.

Inventor： Florian Boehl ,  Clemens Orthacker ,  Klaus Martin Potzmader ,  Andreas Daniel Sinnhofer ,  Christian Steger

IPC: G06F11/30 ,  G06F12/14 ,  G06F21/76 ,  G06F11/36 ,  G06F21/57 ,  H04L9/08 ,  H04L9/32 ,  H04L9/00 ,  H04L29/06 ,  G06F21/86

Abstract: 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.