Daniel Kroening

Follow

Person

Oxford, GB

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
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
Systems and methods for automatic test generation
- Patent number 11,442,845
- Issue date Sep 13, 2022
- DIFFBLUE LTD
- Peter Schrammel
- G06 - COMPUTING CALCULATING COUNTING

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
Systems and Methods for Automatic Test Generation
- Publication number 20220179776
- Publication date Jun 9, 2022
- Diffblue Ltd
- Peter Schrammel
- G06 - COMPUTING CALCULATING COUNTING