Patents/Inventors

Neha Rungta

San Jose, CAUS21 patents

22 Patents

US125009422025
Verified Access Control Policy Compilation for Access Management
Amazon Technologies, Inc.
0 cites
US124950782025
Access Control Policy Optimization
Amazon Technologies, Inc.
0 cites
US124835952025
Authorization Policy Evaluation
Amazon Technologies, Inc.
0 cites
US124640252025
Access Control Policy Analysis in a Multi-provider Network Environment
Amazon Technologies, Inc.
0 cites
US124522452025
Creating Access Control Policies from Access Request Event Logs
Amazon Technologies, Inc.
0 cites
US124254552025
Authorization Policy Analysis
Amazon Technologies, Inc.
0 cites
US123687162025
Verifying Translated Access Controls for Application Modernization
Amazon Technologies, Inc.
0 cites
US123485292025
Automated Policy Refiner for Cloud-based Identity and Access Management Systems
Amazon Technologies, Inc.
0 cites
US123353182025
Detecting Conflicts Between a Generated Access Management Policy and Invoked Access Management Policies
Amazon Technologies, Inc.
0 cites
US122991542025
Secure Data Handling Discovery
Amazon Technologies, Inc.
0 cites
US122618882025
Authorization Policy Validation
Amazon Technologies, Inc.
0 cites
US120347272024
Analysis of Role Reachability with Transitive Tags
Amazon Technologies, Inc.
0 cites
US119216162024
Retaining Dafny Specifications
Amazon Technologies, Inc.
0 cites
US118614092024
Distributed Decomposition of String-automated Reasoning Using Predicates
Amazon Technologies, Inc.
0 cites
US118635632024
Policy Scope Management
Amazon Technologies, Inc.
0 cites
US117973172023
Transitioning Legacy Software to Be Provably Correct
Amazon Technologies, Inc.
0 cites
US117779952023
Resource State Validation of Access Management Policies
Amazon Technologies, Inc.
0 cites
US117578862023
Analysis of Role Reachability Using Policy Complements
Amazon Technologies, Inc.
0 cites
US117506422023
Automated Threat Modeling Using Machine-readable Threat Models
Amazon Technologies, Inc.
0 cites
US117365252023
Generating Access Control Policies Using Static Analysis
Amazon Technologies, Inc.
0 cites
US116777892023
Intent-based Governance
Amazon Technologies, Inc.
0 cites
US116168002023
Security Policy Analyzer Service and Satisfiability Engine
Amazon Technologies, Inc.
0 cites