Patents by Inventor Clemens Orthacker

Clemens Orthacker has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Method for symbolic execution on constrained devices
    Patent number: 10387687
    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.
    Type: Grant
    Filed: April 7, 2017
    Date of Patent: August 20, 2019
    Assignee: NXP B.V.
    Inventors: Florian Boehl, Clemens Orthacker, Klaus Martin Potzmader, Andreas Daniel Sinnhofer, Christian Steger
  • METHOD FOR SYMBOLIC EXECUTION ON CONSTRAINED DEVICES
    Publication number: 20180293406
    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.
    Type: Application
    Filed: April 7, 2017
    Publication date: October 11, 2018
    Inventors: Florian BOEHL, Clemens ORTHACKER, Klaus Martin POTZMADER, Andreas Daniel SINNHOFER, Christian STEGER
  • Method for personalizing a secure element, method for enabling a service, secure element and computer program product
    Patent number: 9749303
    Abstract: 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.
    Type: Grant
    Filed: February 18, 2014
    Date of Patent: August 29, 2017
    Assignee: NXP B.V.
    Inventors: Dimitri Warnez, Clemens Orthacker
  • Method for Personalizing a Secure Element, Method for Enabling a Service, Secure Element and Computer Program Product
    Publication number: 20140245406
    Abstract: 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.
    Type: Application
    Filed: February 18, 2014
    Publication date: August 28, 2014
    Applicant: NXP B.V.
    Inventors: Dimitri Warnez, Clemens Orthacker