Patents by Inventor Olaf Hendrickson

Olaf Hendrickson 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).

  • Memory blockade for verifying system security with respect to speculative execution
    Patent number: 11106602
    Abstract: A computer-implemented method includes generating a plurality of test cases to test exploitation of speculative execution in a design of a computer processor, where the plurality of test cases include a first test case. Generating the first test case includes identifying a branch responsive to an attempted access to secure data and, responsive to the branch, marking each memory address of each memory access dependent on the attempted access to the secure data. The computer-implemented method further includes executing the first test case. Executing the first test case includes detecting an attempt to access a memory address that has been marked and, responsive to the attempt to access the memory address that has been marked, alerting of a security violation.
    Type: Grant
    Filed: September 4, 2019
    Date of Patent: August 31, 2021
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Olaf Hendrickson, Matthew Michael Garcia Pardini, Michael P. Mullen
  • MEMORY BLOCKADE FOR VERIFYING SYSTEM SECURITY WITH RESPECT TO SPECULATIVE EXECUTION
    Publication number: 20210064550
    Abstract: A computer-implemented method includes generating a plurality of test cases to test exploitation of speculative execution in a design of a computer processor, where the plurality of test cases include a first test case. Generating the first test case includes identifying a branch responsive to an attempted access to secure data and, responsive to the branch, marking each memory address of each memory access dependent on the attempted access to the secure data. The computer-implemented method further includes executing the first test case. Executing the first test case includes detecting an attempt to access a memory address that has been marked and, responsive to the attempt to access the memory address that has been marked, alerting of a security violation.
    Type: Application
    Filed: September 4, 2019
    Publication date: March 4, 2021
    Inventors: Olaf Hendrickson, Matthew Michael Garcia Pardini, Michael P. Mullen