Patents by Inventor Ravi Kumar Chugh

Ravi Kumar Chugh has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Type-preserving compiler for security verification
    Patent number: 8955043
    Abstract: Described is a source program code language that facilitates the association of security proofs obtained from a solver (e.g., a Z3 theorem prover) with the program code. The code may include affine types, dependent types and/or refinement types. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. A target code type checker verifies the target code with respect to the security policies. If verified as complying with security policy, a verified program corresponding to the translated program may then be installed and run.
    Type: Grant
    Filed: January 27, 2010
    Date of Patent: February 10, 2015
    Assignee: Microsoft Corporation
    Inventors: Nikhil Swamy, Juan Chen, Ravi Kumar Chugh
  • Type-Preserving Compiler for Security Verification
    Publication number: 20110185345
    Abstract: Described is a source program code language that facilitates the association of security proofs obtained from a solver (e.g., a Z3 theorem prover) with the program code. The code may include affine types, dependent types and/or refinement types. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. A target code type checker verifies the target code with respect to the security policies. If verified as complying with security policy, a verified program corresponding to the translated program may then be installed and run.
    Type: Application
    Filed: January 27, 2010
    Publication date: July 28, 2011
    Applicant: Microsoft Corporation
    Inventors: Nikhil Swamy, Juan Chen, Ravi Kumar Chugh