Inventor
John Byron COOK
Inventor
US
Overview
Patents· 10 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing50%
H04LTransmission of digital information, e.g. telegraphic communication39%
G06NComputing arrangements based on specific computational models6%
G06QInformation and communication technology [ict] specially adapted for administrative, commercial, financial, managerial or supervisory purposes6%
PatentTitleYear
12,437,080Automated packetless network reachability analysis202512,034,727Analysis of role reachability with transitive tags202411,861,409Distributed decomposition of string-automated reasoning using predicates202411,797,317Transitioning legacy software to be provably correct202311,757,886Analysis of role reachability using policy complements202311,671,442Automated packetless network reachability analysis202311,483,350Intent-based governance service202211,483,317Techniques for analyzing security in computing environments with privilege escalation202211,394,661Compositional reasoning techniques for role reachability analyses in identity systems202211,232,015Automated software verification service2022Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2022–2025Patents assigned to AMAZON TECH INC (10)· patent assignee history
2022–2025Based in US· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| AMAZON TECH INC | 10 | 2022–2025 |
Locations
| Location | Patents | Span |
|---|---|---|
| US | 10 | 2022–2025 |