Inventor · disambiguated record
Neha Rungta
Also filed as: RUNGTA NEHA
41 granted patents·2 pending applications·258 citations·filing 2017–2024
97Inventor score
Files withAMAZON TECH INC43
Top patents by PatentIndex Score
43 records- 0195US11483317B1Techniques for analyzing security in computing environments with privilege escalationAMAZON TECH INC·Filed 2018·Granted Oct 25, 2022·57 cites·20 claims
- 0295US10922423B1Request context generator for security policy validation serviceAMAZON TECH INC·Filed 2018·Granted Feb 16, 2021·39 cites·20 claims
- 0395US10652266B1Automated threat modeling using machine-readable threat modelsAMAZON TECH INC·Filed 2018·Granted May 12, 2020·27 cites·21 claims
- 0494US11736525B1Generating access control policies using static analysisAMAZON TECH INC·Filed 2020·Granted Aug 22, 2023·7 cites·20 claims
- 0594US11509730B1Analyzing web service frontends to extract security-relevant behavior informationAMAZON TECH INC·Filed 2020·Granted Nov 22, 2022·5 cites·20 claims
- 0694US11301357B1Method to check application programming interface correctness in softwareAMAZON TECH INC·Filed 2019·Granted Apr 12, 2022·17 cites·20 claims
- 0793US11218511B1Resource state validation of access management policiesAMAZON TECH INC·Filed 2020·Granted Jan 4, 2022·8 cites·20 claims
- 0892US11750642B1Automated threat modeling using machine-readable threat modelsAMAZON TECH INC·Filed 2022·Granted Sep 5, 2023·3 cites·20 claims
- 0991US11797317B1Transitioning legacy software to be provably correctAMAZON TECH INC·Filed 2021·Granted Oct 24, 2023·4 cites·20 claims
- 1091US10757128B2Security policy analyzer service and satisfiability engineAMAZON TECH INC·Filed 2017·Granted Aug 25, 2020·10 cites·21 claims
- 1190US11483353B1Generating access management policies from example requestsAMAZON TECH INC·Filed 2020·Granted Oct 25, 2022·5 cites·20 claims
- 1290US11093641B1Anonymizing sensitive data in logic problems for input to a constraint solverAMAZON TECH INC·Filed 2018·Granted Aug 17, 2021·22 cites·20 claims
- 1388US10977111B2Constraint solver execution service and infrastructure thereforAMAZON TECH INC·Filed 2018·Granted Apr 13, 2021·9 cites·20 claims
- 1487US12452245B1Creating access control policies from access request event logsAMAZON TECH INC·Filed 2023·Granted Oct 21, 2025·2 cites·20 claims
- 1586US12495078B1Access control policy optimizationAMAZON TECH INC·Filed 2023·Granted Dec 9, 2025·1 cites·20 claims
- 1686US11677789B2Intent-based governanceAMAZON TECH INC·Filed 2020·Granted Jun 13, 2023·2 cites·20 claims
- 1784US11165783B1Quantifying permissiveness of access control policies using model counting techniques and automated policy downscalingAMAZON TECH INC·Filed 2019·Granted Nov 2, 2021·15 cites·20 claims
- 1883US12368716B1Verifying translated access controls for application modernizationAMAZON TECH INC·Filed 2023·Granted Jul 22, 2025·1 cites·20 claims
- 1983US11863563B1Policy scope managementAMAZON TECH INC·Filed 2018·Granted Jan 2, 2024·5 cites·19 claims
- 2083US11128653B1Automatically generating a machine-readable threat model using a template associated with an application or serviceAMAZON TECH INC·Filed 2018·Granted Sep 21, 2021·7 cites·20 claims
- 2180US10630695B2Security policy monitoring serviceAMAZON TECH INC·Filed 2017·Granted Apr 21, 2020·4 cites·21 claims
- 2279US11017107B2Pre-deployment security analyzer service for virtual computing resourcesAMAZON TECH INC·Filed 2018·Granted May 25, 2021·3 cites·18 claims
- 2377US11616800B2Security policy analyzer service and satisfiability engineAMAZON TECH INC·Filed 2020·Granted Mar 28, 2023·1 cites·19 claims
- 2476US11394661B2Compositional reasoning techniques for role reachability analyses in identity systemsAMAZON TECH INC·Filed 2020·Granted Jul 19, 2022·1 cites·20 claims
- 2575US11483350B2Intent-based governance serviceAMAZON TECH INC·Filed 2019·Granted Oct 25, 2022·2 cites·20 claims
- 2669US10664379B2Automated software verification serviceAMAZON TECH INC·Filed 2018·Granted May 26, 2020·1 cites·10 claims
- 2763US2023370473A1Policy scope managementAMAZON TECH INC·Filed 2023·Application pending·0 cites
- 2862US11418532B1Automated threat modeling using machine-readable threat modelsAMAZON TECH INC·Filed 2020·Granted Aug 16, 2022·0 cites·20 claims
- 2961US11777995B2Resource state validation of access management policiesAMAZON TECH INC·Filed 2022·Granted Oct 3, 2023·0 cites·20 claims
- 3057US12500942B1Verified access control policy compilation for access managementAMAZON TECH INC·Filed 2023·Granted Dec 16, 2025·0 cites·16 claims
- 3156US11232015B2Automated software verification serviceAMAZON TECH INC·Filed 2020·Granted Jan 25, 2022·0 cites·20 claims
- 3252US12464025B2Access control policy analysis in a multi-provider network environmentAMAZON TECH INC·Filed 2023·Granted Nov 4, 2025·0 cites·20 claims
- 3352US2024314134A1Analysis of role reachability with transitive tagsAMAZON TECH INC·Filed 2024·Application pending·0 cites
- 3450US11921616B1Retaining Dafny specificationsAMAZON TECH INC·Filed 2022·Granted Mar 5, 2024·0 cites·23 claims
- 3548US12299154B1Secure data handling discoveryAMAZON TECH INC·Filed 2022·Granted May 13, 2025·0 cites·20 claims
- 3647US12261888B2Authorization policy validationAMAZON TECH INC·Filed 2022·Granted Mar 25, 2025·0 cites·20 claims
- 3746US12425455B2Authorization policy analysisAMAZON TECH INC·Filed 2022·Granted Sep 23, 2025·0 cites·20 claims
- 3845US12348529B2Automated policy refiner for cloud-based identity and access management systemsAMAZON TECH INC·Filed 2022·Granted Jul 1, 2025·0 cites·20 claims
- 3945US12335318B1Detecting conflicts between a generated access management policy and invoked access management policiesAMAZON TECH INC·Filed 2020·Granted Jun 17, 2025·0 cites·20 claims
- 4043US12483595B2Authorization policy evaluationAMAZON TECH INC·Filed 2022·Granted Nov 25, 2025·0 cites·20 claims
- 4143US12034727B2Analysis of role reachability with transitive tagsAMAZON TECH INC·Filed 2020·Granted Jul 9, 2024·0 cites·20 claims
- 4241US11757886B2Analysis of role reachability using policy complementsAMAZON TECH INC·Filed 2020·Granted Sep 12, 2023·0 cites·20 claims
- 4338US11861409B2Distributed 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 Neha Rungta 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 →