Patents by Inventor Carl Bruggeman

Carl Bruggeman 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).

  • SECURING SECRET INFORMATION IN SOURCE CODE VERIFICATION AND AT RUNTIME
    Publication number: 20180046454
    Abstract: A computer-implemented method includes: receiving a declaration of a variable as a secret type for source code; designating a data record including the variable as secret; creating metadata for the data record, wherein the metadata for the data record labels the data record as secret; allocating a first memory buffer for the data record; updating metadata for the first memory buffer to label the first memory buffer as secret; and if, while executing the source code, the data record is copied from the first memory buffer to a second memory buffer whose metadata labels the second memory buffer as other than secret, updating metadata for the second memory buffer to label the second memory buffer as secret.
    Type: Application
    Filed: October 19, 2017
    Publication date: February 15, 2018
    Inventors: Jason A. Young, Mary Ellen Zurko, Jonathan Mayer Sobel, Carl Bruggeman, Jamie Taylor
  • Securing secret information in source code verification and at runtime
    Patent number: 9841972
    Abstract: Source code verification, including receiving a declaration of a variable as a secret type, determining if any source code is configured to use the variable as a type other than secret, and if it is determined that there is source code that will use the variable as a type other than secret, creating an exception in the source code verification process.
    Type: Grant
    Filed: December 17, 2014
    Date of Patent: December 12, 2017
    Assignee: Cisco Technology, Inc.
    Inventors: Jason A. Young, Mary Ellen Zurko, Jonathan Mayer Sobel, Carl Bruggeman, Jamie Taylor
  • Securing Secret Information in Source Code Verification and at Runtime
    Publication number: 20160179660
    Abstract: Source code verification, including receiving a declaration of a variable as a secret type, determining if any source code is configured to use the variable as a type other than secret, and if it is determined that there is source code that will use the variable as a type other than secret, creating an exception in the source code verification process.
    Type: Application
    Filed: December 17, 2014
    Publication date: June 23, 2016
    Inventors: Jason A. Young, Mary Ellen Zurko, Jonathan Mayer Sobel, Carl Bruggeman, Jamie Taylor