Carsten Varming

Person

Brooklyn, NY, US

People

Patents Grantslast 30 patents

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
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
Analyzing web service frontends to extract security-relevant behavi...
- Patent number 11,509,730
- Issue date Nov 22, 2022
- Amazon Technologies, Inc.
- Daniel George Peebles
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
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
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
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
Anonymizing sensitive data in logic problems for input to a constra...
- Patent number 11,093,641
- Issue date Aug 17, 2021
- Amazon Technologies, Inc.
- Michael William Whalen
- G06 - COMPUTING CALCULATING COUNTING
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
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
Security policy monitoring service
- Patent number 10,630,695
- Issue date Apr 21, 2020
- Amazon Technologies, Inc.
- John Cook
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

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
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
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
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

Carsten Varming

Person

Patents Grantslast 30 patents

Analysis of role reachability with transitive tags

Security policy analyzer service and satisfiability engine

Analyzing web service frontends to extract security-relevant behavi...

Intent-based governance service

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

Compositional reasoning techniques for role reachability analyses i...

Automated software verification service

Anonymizing sensitive data in logic problems for input to a constra...

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

Constraint solver execution service and infrastructure therefor

Request context generator for security policy validation service

Security policy analyzer service and satisfiability engine

Automated software verification service

Security policy monitoring service

Patents Applicationslast 30 patents

ANALYSIS OF ROLE REACHABILITY WITH TRANSITIVE TAGS

ANALYSIS OF ROLE REACHABILITY WITH TRANSITIVE TAGS

ANALYSIS OF ROLE REACHABILITY USING POLICY COMPLEMENTS

COMPOSITIONAL REASONING TECHNIQUES FOR ROLE REACHABILITY ANALYSES I...

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

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

SECURITY POLICY MONITORING SERVICE

SECURITY POLICY ANALYZER SERVICE AND SATISFAIBILITY ENGINE