Greg Timothy Sullivan

Person

Auburndale, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Systems and methods for policy execution processing
- Patent number 12,159,143
- Issue date Dec 3, 2024
- The Charles Stark Draper Laboratory
- Steve E. Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for metadata encoding
- Patent number 12,124,566
- Issue date Oct 22, 2024
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for updating metadata
- Patent number 12,079,197
- Issue date Sep 3, 2024
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for translating mapping policy into code
- Patent number 11,977,613
- Issue date May 7, 2024
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for stalling host processor
- Patent number 11,875,180
- Issue date Jan 16, 2024
- Dover Microsystems, Inc.
- Steven Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for data lifecycle protection
- Patent number 11,841,956
- Issue date Dec 12, 2023
- Dover Microsystems, Inc.
- Gregory T. Sullivan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for checking safety properties
- Patent number 11,797,398
- Issue date Oct 24, 2023
- Dover Microsystems, Inc.
- Andrew Sutherland
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for policy linking and/or loading for secure in...
- Patent number 11,748,457
- Issue date Sep 5, 2023
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for policy execution processing
- Patent number 11,709,680
- Issue date Jul 25, 2023
- The Charles Stark Draper Laboratory, Inc.
- Steve E. Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for policy execution processing
- Patent number 11,150,910
- Issue date Oct 19, 2021
- The Charles Stark Draper Laboratory, Inc.
- Steve E. Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Safe security proxy
- Patent number 10,193,868
- Issue date Jan 29, 2019
- BAE Systems Information and Electronic Systems Integration Inc.
- Howard B. Reubenstein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic correction of program logic
- Patent number 8,788,884
- Issue date Jul 22, 2014
- Massachusetts Institute of Technology
- Jeff Herbert Perkins
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEMS AND METHODS FOR STALLING HOST PROCESSOR
- Publication number 20240345869
- Publication date Oct 17, 2024
- Dover Microsystems, Inc.
- Steven Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR CHECKING SAFETY PROPERTIES
- Publication number 20240272994
- Publication date Aug 15, 2024
- Dover Microsystems, Inc.
- Andrew Sutherland
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR POLICY LINKING AND/OR LOADING FOR SECURE IN...
- Publication number 20240045932
- Publication date Feb 8, 2024
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR POLICY EXECUTION PROCESSING
- Publication number 20230367603
- Publication date Nov 16, 2023
- The Charles Stark Draper Laboratory, Inc.
- Steve E. Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR STALLING HOST PROCESSOR
- Publication number 20230054942
- Publication date Feb 23, 2023
- Dover Microsystems, Inc.
- Steven Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR UPDATING METADATA
- Publication number 20220374415
- Publication date Nov 24, 2022
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR TRANSLATING MAPPING POLICY INTO CODE
- Publication number 20220309134
- Publication date Sep 29, 2022
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR POLICY LINKING AND/OR LOADING FOR SECURE IN...
- Publication number 20220300583
- Publication date Sep 22, 2022
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR REDUCING EXCEPTION LATENCY
- Publication number 20220129343
- Publication date Apr 28, 2022
- Dover Microsystems, Inc.
- Steven Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR METADATA CLASSIFICATION
- Publication number 20220092173
- Publication date Mar 24, 2022
- Dover Microsystems, Inc.
- Andrew Sutherland
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR DATA LIFECYCLE PROTECTION
- Publication number 20220050904
- Publication date Feb 17, 2022
- Dover Microsystems, Inc.
- Gregory T. Sullivan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR METADATA ENCODING
- Publication number 20220012329
- Publication date Jan 13, 2022
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and Methods for Policy Execution Processing
- Publication number 20210406028
- Publication date Dec 30, 2021
- The Charles Stark Draper Laboratory, Inc.
- Steve E. Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR CHECKING SAFETY PROPERTIES
- Publication number 20210406137
- Publication date Dec 30, 2021
- Dover Microsystems, Inc.
- Andrew Sutherland
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR STALLING HOST PROCESSOR
- Publication number 20210255890
- Publication date Aug 19, 2021
- Dover Microsystems, Inc.
- Steven Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR TRANSLATING MAPPING POLICY INTO CODE
- Publication number 20210042100
- Publication date Feb 11, 2021
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR POLICY LINKING AND/OR LOADING FOR SECURE IN...
- Publication number 20210026934
- Publication date Jan 28, 2021
- Dover Microsystems, Inc.
- Eli Boling
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and Methods for Policy Execution Processing
- Publication number 20190243655
- Publication date Aug 8, 2019
- Steve E. Milburn
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SAFE SECURITY PROXY
- Publication number 20170142072
- Publication date May 18, 2017
- BAE SYSTEMS INFORMATION AND ELECTRONIC SYSTEMS INTEGRATION INC
- Howard B. REUBENSTEIN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CORRECTION OF PROGRAM LOGIC
- Publication number 20120144227
- Publication date Jun 7, 2012
- BAE Systems Information Solutions, Inc.
- Jeff Herbert Perkins
- G06 - COMPUTING CALCULATING COUNTING

Greg Timothy Sullivan

Person

Patents Grantslast 30 patents

Systems and methods for policy execution processing

Systems and methods for metadata encoding

Systems and methods for updating metadata

System and method for translating mapping policy into code

Systems and methods for stalling host processor

Systems and methods for data lifecycle protection

Systems and methods for checking safety properties

Systems and methods for policy linking and/or loading for secure in...

Systems and methods for policy execution processing

Systems and methods for policy execution processing

Safe security proxy

Automatic correction of program logic

Patents Applicationslast 30 patents

SYSTEMS AND METHODS FOR STALLING HOST PROCESSOR

SYSTEMS AND METHODS FOR CHECKING SAFETY PROPERTIES

SYSTEMS AND METHODS FOR POLICY LINKING AND/OR LOADING FOR SECURE IN...

SYSTEMS AND METHODS FOR POLICY EXECUTION PROCESSING

SYSTEMS AND METHODS FOR STALLING HOST PROCESSOR

SYSTEMS AND METHODS FOR UPDATING METADATA

SYSTEM AND METHOD FOR TRANSLATING MAPPING POLICY INTO CODE

SYSTEMS AND METHODS FOR POLICY LINKING AND/OR LOADING FOR SECURE IN...

SYSTEMS AND METHODS FOR REDUCING EXCEPTION LATENCY

SYSTEMS AND METHODS FOR METADATA CLASSIFICATION

SYSTEMS AND METHODS FOR DATA LIFECYCLE PROTECTION

SYSTEMS AND METHODS FOR METADATA ENCODING

Systems and Methods for Policy Execution Processing

SYSTEMS AND METHODS FOR CHECKING SAFETY PROPERTIES

SYSTEMS AND METHODS FOR STALLING HOST PROCESSOR

SYSTEM AND METHOD FOR TRANSLATING MAPPING POLICY INTO CODE

SYSTEMS AND METHODS FOR POLICY LINKING AND/OR LOADING FOR SECURE IN...

Systems and Methods for Policy Execution Processing

SAFE SECURITY PROXY

AUTOMATIC CORRECTION OF PROGRAM LOGIC