Patents by Inventor Jonathan Mayer Sobel

Jonathan Mayer Sobel 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
  • Collection of memory allocation statistics by provenance in an asynchronous message passing system
    Patent number: 9652313
    Abstract: In one embodiment, a method is disclosed that includes executing, by a device, one or more programs that use asynchronous message passing. The one or more programs comprise instrumentation code that causes message context information to be generated regarding asynchronous messages passed by the one or more programs. The message context information is indicative of one or more points within the one or more programs at which a particular message is sent or received. The method includes maintaining a current message context associated with a particular portion of the one or more programs. The method includes receiving a first asynchronous message that includes message context information for the received message. The method includes updating the current message context to include the message context information received via the first asynchronous message.
    Type: Grant
    Filed: July 7, 2015
    Date of Patent: May 16, 2017
    Assignee: Cisco Technology, Inc.
    Inventors: Jamie Lee Taylor, Andrew William Keep, Jonathan Gregory Rossie, Jr., Jonathan Mayer Sobel, R. Kent Dybvig
  • COLLECTION OF MEMORY ALLOCATION STATISTICS BY PROVENANCE IN AN ASYNCHRONOUS MESSAGE PASSING SYSTEM
    Publication number: 20170010928
    Abstract: In one embodiment, a method is disclosed that includes executing, by a device, one or more programs that use asynchronous message passing. The one or more programs comprise instrumentation code that causes message context information to be generated regarding asynchronous messages passed by the one or more programs. The message context information is indicative of one or more points within the one or more programs at which a particular message is sent or received. The method includes maintaining a current message context associated with a particular portion of the one or more programs. The method includes receiving a first asynchronous message that includes message context information for the received message. The method includes updating the current message context to include the message context information received via the first asynchronous message.
    Type: Application
    Filed: July 7, 2015
    Publication date: January 12, 2017
    Inventors: Jamie Lee Taylor, Andrew William Keep, Jonathan Gregory Rossie, JR., Jonathan Mayer Sobel, R. Kent Dybvig
  • 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