Amit Goel

Title: Innovations by Inventor Amit Goel

Introduction

Amit Goel is an accomplished inventor based in Portland, OR (US). He has made significant contributions to the field of access control policies, holding a total of 6 patents. His work focuses on enhancing security and efficiency in multi-provider network environments.

Latest Patents

One of Amit's latest patents is titled "Access control policy analysis in a multi-provider network environment." This invention introduces techniques for analyzing access control policies across multiple provider networks. The methods compile various policies into a unified policy language that is broad enough to encompass diverse policy features while being specific enough for automated analysis. An automated differential testing method is employed to confirm the accuracy of this compilation by generating access requests, ensuring that both original and translated policies consistently grant or deny access. Additionally, an abstraction technique simplifies and correlates the complex details of different policies, making it easier for users to inquire about them. For example, users can determine if an account has write access in one network but not in another.

Another notable patent is "Verifying translated access controls for application modernization." This invention involves computer-implemented techniques for verifying translated access controls during application modernization. An application modernization service of a provider network obtains a source access control and translates it to a target access control. The service compiles both the source and target access controls into respective automated reasoning solver encodings. It then queries an automated reasoning solver, such as a Satisfiability Modulo Theories (SMT) solver, to determine whether the source access control is less or more permissive than the target access control, which could represent a security or availability issue.

Career Highlights

Amit Goel is currently employed at Amazon Technologies, Inc., where he continues to innovate in the field of access control and security. His work has been instrumental in advancing the understanding and implementation of access control policies in complex network environments.

Collaborations

Amit collaborates with talented coworkers, including Neha Rungta and Chungha Sung, who contribute to his projects and innovations.

Conclusion

Amit Goel's contributions to access control policy analysis and verification are paving the way for more secure and efficient network environments. His innovative patents reflect a deep understanding of the complexities involved in managing access controls across multiple platforms.