Company Filing History:
Years Active: 2015
Title: Nikhil Swamy: Innovator in Browser Security Technologies
Introduction
Nikhil Swamy is a prominent inventor based in Seattle, WA, known for his contributions to the field of browser security technologies. With a focus on programming, verifying, and deploying secure browser extensions, he has made significant strides in enhancing the safety of web applications. Nikhil holds 2 patents that reflect his innovative approach to security in software development.
Latest Patents
Nikhil's latest patents include groundbreaking work in two key areas. The first patent describes an environment that enables the generation, analysis, and use of secure browser extensions. This environment allows each extension to include a body and a policy expressed in a logic-based specification language. The policy specifies access control and dataflow privileges in a fine-grained manner, leveraging the structure and content of resources accessible to the browser extension. A suite of analysis tools is included for testing the safety of the browser extension, featuring a visualization module that identifies accessible resource features and a static analysis module that ensures compliance with the policy.
The second patent focuses on a type-preserving compiler for security verification. This invention facilitates the association of security proofs obtained from solvers, such as the Z3 theorem prover, with program code. The code may incorporate affine types, dependent types, and refinement types. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. A target code type checker verifies compliance with security policies, allowing verified programs to be installed and run safely.
Career Highlights
Nikhil Swamy is currently employed at Microsoft Technology Licensing, LLC, where he continues to develop innovative solutions in the realm of software security. His work has positioned him as a key figure in the advancement of secure programming practices.
Collaborations
Nikhil has collaborated with notable colleagues, including Benjamin Livshits and Arjun Guha, contributing to a dynamic environment of innovation and research.
Conclusion
Nikhil Swamy's contributions to browser security technologies through his patents and work at Microsoft Technology Licensing, LLC, highlight his role as a leading inventor in the field. His innovative approaches to secure browser extensions and programming verification are paving the way for safer web experiences.