Inventor · disambiguated record
John Cook
Also filed as: COOK JOHN · COOK JOHN BYRON
28 granted patents·5 pending applications·222 citations·filing 2016–2024
96Inventor score
Files withAMAZON TECH INC33
Top patents by PatentIndex Score
33 records- 0196US10769250B1Targeted security monitoring using semantic behavioral change analysisAMAZON TECH INC·Filed 2017·Granted Sep 8, 2020·32 cites·18 claims
- 0295US11483317B1Techniques for analyzing security in computing environments with privilege escalationAMAZON TECH INC·Filed 2018·Granted Oct 25, 2022·57 cites·20 claims
- 0395US10922423B1Request context generator for security policy validation serviceAMAZON TECH INC·Filed 2018·Granted Feb 16, 2021·39 cites·20 claims
- 0495US10652266B1Automated threat modeling using machine-readable threat modelsAMAZON TECH INC·Filed 2018·Granted May 12, 2020·27 cites·21 claims
- 0592US11750642B1Automated threat modeling using machine-readable threat modelsAMAZON TECH INC·Filed 2022·Granted Sep 5, 2023·3 cites·20 claims
- 0691US11797317B1Transitioning legacy software to be provably correctAMAZON TECH INC·Filed 2021·Granted Oct 24, 2023·4 cites·20 claims
- 0791US10757128B2Security policy analyzer service and satisfiability engineAMAZON TECH INC·Filed 2017·Granted Aug 25, 2020·10 cites·21 claims
- 0888US11200144B1Refinement of static analysis of program codeAMAZON TECH INC·Filed 2017·Granted Dec 14, 2021·9 cites·17 claims
- 0988US10977111B2Constraint solver execution service and infrastructure thereforAMAZON TECH INC·Filed 2018·Granted Apr 13, 2021·9 cites·20 claims
- 1088US10469324B2Virtual network verification serviceAMAZON TECH INC·Filed 2016·Granted Nov 5, 2019·6 cites·21 claims
- 1184US11095523B2Virtual network verification serviceAMAZON TECH INC·Filed 2019·Granted Aug 17, 2021·3 cites·20 claims
- 1283US11863563B1Policy scope managementAMAZON TECH INC·Filed 2018·Granted Jan 2, 2024·5 cites·19 claims
- 1383US11245701B1Authorization pre-processing for network-accessible service requestsAMAZON TECH INC·Filed 2018·Granted Feb 8, 2022·4 cites·21 claims
- 1481US11671442B2Automated packetless network reachability analysisAMAZON TECH INC·Filed 2021·Granted Jun 6, 2023·1 cites·20 claims
- 1580US10630695B2Security policy monitoring serviceAMAZON TECH INC·Filed 2017·Granted Apr 21, 2020·4 cites·21 claims
- 1679US11017107B2Pre-deployment security analyzer service for virtual computing resourcesAMAZON TECH INC·Filed 2018·Granted May 25, 2021·3 cites·18 claims
- 1778US2025016057A1Virtual network verification serviceAMAZON TECH INC·Filed 2024·Application pending·0 cites
- 1877US11616800B2Security policy analyzer service and satisfiability engineAMAZON TECH INC·Filed 2020·Granted Mar 28, 2023·1 cites·19 claims
- 1976US11394661B2Compositional reasoning techniques for role reachability analyses in identity systemsAMAZON TECH INC·Filed 2020·Granted Jul 19, 2022·1 cites·20 claims
- 2075US11483350B2Intent-based governance serviceAMAZON TECH INC·Filed 2019·Granted Oct 25, 2022·2 cites·20 claims
- 2170US12437080B2Automated packetless network reachability analysisAMAZON TECH INC·Filed 2023·Granted Oct 7, 2025·0 cites·20 claims
- 2269US12126495B2Virtual network verification serviceAMAZON TECH INC·Filed 2021·Granted Oct 22, 2024·0 cites·20 claims
- 2369US10664379B2Automated software verification serviceAMAZON TECH INC·Filed 2018·Granted May 26, 2020·1 cites·10 claims
- 2468US11108805B2Automated packetless network reachability analysisAMAZON TECH INC·Filed 2018·Granted Aug 31, 2021·1 cites·18 claims
- 2563US2023370473A1Policy scope managementAMAZON TECH INC·Filed 2023·Application pending·0 cites
- 2662US11418532B1Automated threat modeling using machine-readable threat modelsAMAZON TECH INC·Filed 2020·Granted Aug 16, 2022·0 cites·20 claims
- 2756US11232015B2Automated software verification serviceAMAZON TECH INC·Filed 2020·Granted Jan 25, 2022·0 cites·20 claims
- 2855US2024202545A1An eager sat-based solver for a quantifier-free theory of strings and bit vectorsAMAZON TECH INC·Filed 2022·Application pending·0 cites
- 2952US2024314134A1Analysis of role reachability with transitive tagsAMAZON TECH INC·Filed 2024·Application pending·0 cites
- 3050US2025200392A1Large language model verificationAMAZON TECH INC·Filed 2023·Application pending·0 cites
- 3143US12034727B2Analysis of role reachability with transitive tagsAMAZON TECH INC·Filed 2020·Granted Jul 9, 2024·0 cites·20 claims
- 3241US11757886B2Analysis of role reachability using policy complementsAMAZON TECH INC·Filed 2020·Granted Sep 12, 2023·0 cites·20 claims
- 3338US11861409B2Distributed decomposition of string-automated reasoning using predicatesAMAZON TECH INC·Filed 2021·Granted Jan 2, 2024·0 cites·19 claims
Join the waitlist — get patent alerts
Get an alert when John Cook files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →