Patents by Inventor ERICH D. DEVENDORF

ERICH D. DEVENDORF 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).

  • Patent number: 11423147
    Abstract: A method for manufacturing and executing single-use systems. Invention provides provably secure system design, instantiated in heterogeneous hardware that exists solely for the lifetime of a mission. More specifically, the present invention provides a functional mission analysis, formal specification and mathematically rigorous machine-checkable representation of a hardware mission instantiation to significantly reduce the vulnerabilities of a mission.
    Type: Grant
    Filed: April 11, 2018
    Date of Patent: August 23, 2022
    Assignee: The United States of America as represented by the Secretary of the Air Force
    Inventors: Kamal T Jabbour, Erich D Devendorf, Andrew N Zeliff
  • Publication number: 20180322288
    Abstract: A method for manufacturing and executing single-use systems. Invention provides provably secure system design, instantiated in heterogeneous hardware that exists solely for the lifetime of a mission. More specifically, the present invention provides a functional mission analysis, formal specification and mathematically rigorous machine-checkable representation of a hardware mission instantiation to significantly reduce the vulnerabilities of a mission.
    Type: Application
    Filed: April 11, 2018
    Publication date: November 8, 2018
    Inventors: KAMAL T. JABBOUR, ERICH D. DEVENDORF, ANDREW N. ZELIFF