John Cook

Person

Brooklyn, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Virtual network verification service
- Patent number 12,126,495
- Issue date Oct 22, 2024
- Amazon Technologies, Inc.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Analysis of role reachability with transitive tags
- Patent number 12,034,727
- Issue date Jul 9, 2024
- Amazon Technologies, Inc.
- John Byron Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Policy scope management
- Patent number 11,863,563
- Issue date Jan 2, 2024
- Amazon Technologies, Inc.
- Neha Rungta
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Distributed decomposition of string-automated reasoning using predi...
- Patent number 11,861,409
- Issue date Jan 2, 2024
- Amazon Technologies, Inc.
- John Byron Cook
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transitioning legacy software to be provably correct
- Patent number 11,797,317
- Issue date Oct 24, 2023
- Amazon Technologies, Inc.
- Sean McLaughlin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analysis of role reachability using policy complements
- Patent number 11,757,886
- Issue date Sep 12, 2023
- Amazon Technologies, Inc.
- John Byron Cook
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 11,750,642
- Issue date Sep 5, 2023
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automated packetless network reachability analysis
- Patent number 11,671,442
- Issue date Jun 6, 2023
- Amazon Technologies, Inc.
- Catherine Dodge
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security policy analyzer service and satisfiability engine
- Patent number 11,616,800
- Issue date Mar 28, 2023
- Amazon Technologies, Inc.
- John Cook
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Intent-based governance service
- Patent number 11,483,350
- Issue date Oct 25, 2022
- Amazon Technologies, Inc.
- Pauline Virginie Bolignano
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Techniques for analyzing security in computing environments with pr...
- Patent number 11,483,317
- Issue date Oct 25, 2022
- Amazon Technologies, Inc.
- Pauline Virginie Bolignano
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 11,418,532
- Issue date Aug 16, 2022
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Compositional reasoning techniques for role reachability analyses i...
- Patent number 11,394,661
- Issue date Jul 19, 2022
- Amazon Technologies, Inc.
- John Byron Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Authorization pre-processing for network-accessible service requests
- Patent number 11,245,701
- Issue date Feb 8, 2022
- Amazon Technologies, Inc.
- Eric Jason Brandwine
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software verification service
- Patent number 11,232,015
- Issue date Jan 25, 2022
- Amazon Technologies, Inc.
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Refinement of static analysis of program code
- Patent number 11,200,144
- Issue date Dec 14, 2021
- Amazon Technologies, Inc.
- John Cook
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated packetless network reachability analysis
- Patent number 11,108,805
- Issue date Aug 31, 2021
- Amazon Technologies, Inc.
- Catherine Dodge
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Virtual network verification service
- Patent number 11,095,523
- Issue date Aug 17, 2021
- Amazon Technologies, Inc.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Pre-deployment security analyzer service for virtual computing reso...
- Patent number 11,017,107
- Issue date May 25, 2021
- Amazon Technologies, Inc.
- Neha Rungta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constraint solver execution service and infrastructure therefor
- Patent number 10,977,111
- Issue date Apr 13, 2021
- Amazon Technologies, Inc.
- Neha Rungta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Request context generator for security policy validation service
- Patent number 10,922,423
- Issue date Feb 16, 2021
- Amazon Technologies, Inc.
- Neha Rungta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Targeted security monitoring using semantic behavioral change analysis
- Patent number 10,769,250
- Issue date Sep 8, 2020
- Amazon Technologies, Inc.
- Michael Tautschnig
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security policy analyzer service and satisfiability engine
- Patent number 10,757,128
- Issue date Aug 25, 2020
- Amazon Technologies, Inc.
- John Cook
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated software verification service
- Patent number 10,664,379
- Issue date May 26, 2020
- Amazon Technologies, Inc.
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 10,652,266
- Issue date May 12, 2020
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Security policy monitoring service
- Patent number 10,630,695
- Issue date Apr 21, 2020
- Amazon Technologies, Inc.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Virtual network verification service
- Patent number 10,469,324
- Issue date Nov 5, 2019
- Amazon Technologies, Inc.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
LARGE LANGUAGE MODEL VERIFICATION
- Publication number 20250200392
- Publication date Jun 19, 2025
- AMAZON TECHNOLOGIES, INC.
- Michael William WHALEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL NETWORK VERIFICATION SERVICE
- Publication number 20250016057
- Publication date Jan 9, 2025
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ANALYSIS OF ROLE REACHABILITY WITH TRANSITIVE TAGS
- Publication number 20240314134
- Publication date Sep 19, 2024
- AMAZON TECHNOLOGIES, INC.
- John Byron Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS A...
- Publication number 20240202545
- Publication date Jun 20, 2024
- AMAZON TECHNOLOGIES, INC.
- Kevin LOTZ
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
POLICY SCOPE MANAGEMENT
- Publication number 20230370473
- Publication date Nov 16, 2023
- AMAZON TECHNOLOGIES, INC.
- Neha Rungta
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
- Publication number 20230262087
- Publication date Aug 17, 2023
- AMAZON TECHNOLOGIES, INC.
- Catherine Dodge
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DISTRIBUTED DECOMPOSITION OF STRING-AUTOMATED REASONING USING PREDI...
- Publication number 20220318059
- Publication date Oct 6, 2022
- AMAZON TECHNOLOGIES, INC.
- John Byron COOK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYSIS OF ROLE REACHABILITY WITH TRANSITIVE TAGS
- Publication number 20220191205
- Publication date Jun 16, 2022
- AMAZON TECHNOLOGIES, INC.
- John Byron Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ANALYSIS OF ROLE REACHABILITY USING POLICY COMPLEMENTS
- Publication number 20220191206
- Publication date Jun 16, 2022
- AMAZON TECHNOLOGIES, INC.
- John Byron Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
COMPOSITIONAL REASONING TECHNIQUES FOR ROLE REACHABILITY ANALYSES I...
- Publication number 20220094643
- Publication date Mar 24, 2022
- AMAZON TECHNOLOGIES, INC.
- John Byron COOK
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
- Publication number 20210392157
- Publication date Dec 16, 2021
- AMAZON TECHNOLOGIES, INC.
- Catherine Dodge
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL NETWORK VERIFICATION SERVICE
- Publication number 20210377126
- Publication date Dec 2, 2021
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
SECURITY POLICY ANALYZER SERVICE AND SATISFIABILITY ENGINE
- Publication number 20200366707
- Publication date Nov 19, 2020
- AMAZON TECHNOLOGIES, INC.
- John Cook
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTENT-BASED GOVERNANCE SERVICE
- Publication number 20200314145
- Publication date Oct 1, 2020
- AMAZON TECHNOLOGIES, INC.
- Pauline Virginie BOLIGNANO
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE VERIFICATION SERVICE
- Publication number 20200257611
- Publication date Aug 13, 2020
- AMAZON TECHNOLOGIES, INC.
- Juan Rodriguez HORTALA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONSTRAINT SOLVER EXECUTION SERVICE AND INFRASTRUCTURE THEREFOR
- Publication number 20200073739
- Publication date Mar 5, 2020
- AMAZON TECHNOLOGIES, INC.
- Neha RUNGTA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED SOFTWARE VERIFICATION SERVICE
- Publication number 20200073783
- Publication date Mar 5, 2020
- Juan Rodriguez Hortala
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VIRTUAL NETWORK VERIFICATION SERVICE
- Publication number 20200067785
- Publication date Feb 27, 2020
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS
- Publication number 20200007569
- Publication date Jan 2, 2020
- AMAZON TECHNOLOGIES, INC.
- Catherine Dodge
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PRE-DEPLOYMENT SECURITY ANALYZER SERVICE FOR VIRTUAL COMPUTING RESO...
- Publication number 20190278928
- Publication date Sep 12, 2019
- AMAZON TECHNOLOGIES, INC.
- Neha RUNGTA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SECURITY POLICY MONITORING SERVICE
- Publication number 20190007418
- Publication date Jan 3, 2019
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
SECURITY POLICY ANALYZER SERVICE AND SATISFAIBILITY ENGINE
- Publication number 20190007443
- Publication date Jan 3, 2019
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
VIRTUAL NETWORK VERIFICATION SERVICE
- Publication number 20180145879
- Publication date May 24, 2018
- AMAZON TECHNOLOGIES, INC.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Person

Patents Grantslast 30 patents

Virtual network verification service

Analysis of role reachability with transitive tags

Policy scope management

Distributed decomposition of string-automated reasoning using predi...

Transitioning legacy software to be provably correct

Analysis of role reachability using policy complements

Automated threat modeling using machine-readable threat models

Automated packetless network reachability analysis

Security policy analyzer service and satisfiability engine

Intent-based governance service

Techniques for analyzing security in computing environments with pr...

Automated threat modeling using machine-readable threat models

Compositional reasoning techniques for role reachability analyses i...

Authorization pre-processing for network-accessible service requests

Automated software verification service

Refinement of static analysis of program code

Automated packetless network reachability analysis

Virtual network verification service

Pre-deployment security analyzer service for virtual computing reso...

Constraint solver execution service and infrastructure therefor

Request context generator for security policy validation service

Targeted security monitoring using semantic behavioral change analysis

Security policy analyzer service and satisfiability engine

Automated software verification service

Automated threat modeling using machine-readable threat models

Security policy monitoring service

Virtual network verification service

Patents Applicationslast 30 patents

LARGE LANGUAGE MODEL VERIFICATION

VIRTUAL NETWORK VERIFICATION SERVICE

ANALYSIS OF ROLE REACHABILITY WITH TRANSITIVE TAGS

AN EAGER SAT-BASED SOLVER FOR A QUANTIFIER-FREE THEORY OF STRINGS A...

POLICY SCOPE MANAGEMENT

AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS

DISTRIBUTED DECOMPOSITION OF STRING-AUTOMATED REASONING USING PREDI...

ANALYSIS OF ROLE REACHABILITY WITH TRANSITIVE TAGS

ANALYSIS OF ROLE REACHABILITY USING POLICY COMPLEMENTS

COMPOSITIONAL REASONING TECHNIQUES FOR ROLE REACHABILITY ANALYSES I...

AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS

VIRTUAL NETWORK VERIFICATION SERVICE

SECURITY POLICY ANALYZER SERVICE AND SATISFIABILITY ENGINE

INTENT-BASED GOVERNANCE SERVICE

AUTOMATED SOFTWARE VERIFICATION SERVICE

CONSTRAINT SOLVER EXECUTION SERVICE AND INFRASTRUCTURE THEREFOR

AUTOMATED SOFTWARE VERIFICATION SERVICE

VIRTUAL NETWORK VERIFICATION SERVICE

AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS

PRE-DEPLOYMENT SECURITY ANALYZER SERVICE FOR VIRTUAL COMPUTING RESO...

SECURITY POLICY MONITORING SERVICE

SECURITY POLICY ANALYZER SERVICE AND SATISFAIBILITY ENGINE

VIRTUAL NETWORK VERIFICATION SERVICE