公开(公告)号：US20180293406A1

公开(公告)日：2018-10-11

申请号：US15482462

申请日：2017-04-07

Applicant: NXP B.V.

Inventor： Florian BOEHL ,  Clemens ORTHACKER ,  Klaus Martin POTZMADER ,  Andreas Daniel SINNHOFER ,  Christian STEGER

IPC: G06F21/76 ,  H04L9/00 ,  H04L9/32

CPC classification number: G06F21/76 ,  G06F11/3608 ,  G06F21/577 ,  G06F21/86 ,  G06F2221/034 ,  H04L9/002 ,  H04L9/0877 ,  H04L9/3234 ,  H04L9/3247 ,  H04L63/123 ,  H04L2209/127

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.