John Cook
27Patents
6h-index
41Co-inventors
61Inventor score
Filing activity: Nov 22, 2016 → Aug 15, 2022
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US11483317B1 | Techniques for analyzing security in computing environments with privilege escalation | Electricity | 37 | Active |
| US10652266B1 | Automated threat modeling using machine-readable threat models | Electricity | 20 | Active |
| US10922423B1 | Request context generator for security policy validation service | Physics | 20 | Active |
| US10769250B1 | Targeted security monitoring using semantic behavioral change analysis | Physics | 13 | Active |
| US10977111B2 | Constraint solver execution service and infrastructure therefor | Physics | 11 | Active |
| US10757128B2 | Security policy analyzer service and satisfiability engine | Electricity | 10 | Active |
| US10469324B2 | Virtual network verification service | Electricity | 5 | Active |
| US10630695B2 | Security policy monitoring service | Electricity | 4 | Active |
| US11200144B1 | Refinement of static analysis of program code | Physics | 4 | Active |
| US11245701B1 | Authorization pre-processing for network-accessible service requests | Physics | 2 | Active |
| US11750642B1 | Automated threat modeling using machine-readable threat models | Electricity | 2 | Active |
| US11095523B2 | Virtual network verification service | Electricity | 2 | Active |
| US11017107B2 | Pre-deployment security analyzer service for virtual computing resources | Physics | 2 | Active |
| US10664379B2 | Automated software verification service | Physics | 1 | Active |
| US11616800B2 | Security policy analyzer service and satisfiability engine | Electricity | 1 | Active |
| US11797317B1 | Transitioning legacy software to be provably correct | Physics | 1 | Active |
| US12126495B2 | Virtual network verification service | Electricity | 0 | Active |
| US12034727B2 | Analysis of role reachability with transitive tags | Electricity | 0 | Active |
| US11232015B2 | Automated software verification service | Physics | 0 | Active |
| US11418532B1 | Automated threat modeling using machine-readable threat models | Electricity | 0 | Active |
| US11863563B1 | Policy scope management | Electricity | 0 | Active |
| US11671442B2 | Automated packetless network reachability analysis | Electricity | 0 | Active |
| US11394661B2 | Compositional reasoning techniques for role reachability analyses in identity systems | Electricity | 0 | Active |
| US11483350B2 | Intent-based governance service | Physics | 0 | Active |
| US11861409B2 | Distributed decomposition of string-automated reasoning using predicates | Physics | 0 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.