Patents by Inventor Elizabeth I. Leonard

Elizabeth I. Leonard 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).

  • Automated tools for building secure software programs
    Patent number: 9418230
    Abstract: A computer implemented tool is described that includes an assertion generator module that can automatically generate assertions, which are usable to verify application-specific security properties, for a computer software program. An assertion checker module can automatically analyze the computer software program to ensure that it satisfies the application-specific security properties. A graphical user interface module can display feedback to diagnose security flaws detected in the computer software program based on the analysis by the assertion checker module. In support of these modules are a code preprocessor module that can translate source code of the computer software program into an intermediate abstract representation, and a database module that can store the generated assertions and associated data in a database. Each of the modules can provide functionality at any time during code construction of the computer software program.
    Type: Grant
    Filed: January 24, 2014
    Date of Patent: August 16, 2016
    Assignee: The United States of America, as represented by the Secretary of the Navy
    Inventors: Myla M. Archer, Constance L. Heitmeyer, Elizabeth I. Leonard, Carolyn B. Gasarch, Wei Ding
  • AUTOMATED TOOLS FOR BUILDING SECURE SOFTWARE PROGRAMS
    Publication number: 20140208431
    Abstract: A computer implemented tool is described that includes an assertion generator module that can automatically generate assertions, which are usable to verify application-specific security properties, for a computer software program. An assertion checker module can automatically analyze the computer software program to ensure that it satisfies the application-specific security properties. A graphical user interface module can display feedback to diagnose security flaws detected in the computer software program based on the analysis by the assertion checker module. In support of these modules are a code preprocessor module that can translate source code of the computer software program into an intermediate abstract representation, and a database module that can store the generated assertions and associated data in a database. Each of the modules can provide functionality at any time during code construction of the computer software program.
    Type: Application
    Filed: January 24, 2014
    Publication date: July 24, 2014
    Applicant: The Government of the United States of America, as represented by the Secretary of the Navy
    Inventors: Myla M. Archer, Constance L. Heitmeyer, Elizabeth I. Leonard, Carolyn B. Gasarch, Wei Ding