logo

For the Inventor, By the Inventor

The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 10387687 B1

PDFFull Text
Date of Patent:
Aug. 20, 2019

Filed:

Apr. 07, 2017

Method for symbolic execution on constrained devices

Applicant:

Nxp B.v., Eindhoven, NL;

Inventors:

Florian Boehl, Leuven, BE;

Clemens Orthacker, Graz, AT;

Klaus Martin Potzmader, Graz, AT;

Andreas Daniel Sinnhofer, Graz, AT;

Christian Steger, Graz, AT;

Assignee:

NXP B.V., Eindhoven, NL;

Attorney:
Primary Examiner:

Brandon S Hoffman

Assistant Examiner:

Samuel Ambaye

Int. Cl.
CPC ...
G06F 11/30 (2006.01); G06F 12/14 (2006.01); G06F 21/76 (2013.01); G06F 11/36 (2006.01); G06F 21/57 (2013.01); H04L 9/08 (2006.01); H04L 9/32 (2006.01); H04L 9/00 (2006.01); H04L 29/06 (2006.01); G06F 21/86 (2013.01);
U.S. Cl.
CPC ...
G06F 21/76 (2013.01); G06F 11/3608 (2013.01); G06F 21/577 (2013.01); H04L 9/002 (2013.01); H04L 9/0877 (2013.01); H04L 9/3234 (2013.01); H04L 63/123 (2013.01); G06F 21/86 (2013.01); G06F 2221/034 (2013.01); H04L 9/3247 (2013.01); H04L 2209/127 (2013.01);
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.

Find Patent Forward Citations

Boehl, Florian. (2019). Method for symbolic execution on constrained devices (U.S. Patent No. 10387687). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/10387687

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…