Ravi Kumar Chugh

Follow

Person

La Jolla, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Type-preserving compiler for security verification
- Patent number 8,955,043
- Issue date Feb 10, 2015
- Microsoft Corporation
- Nikhil Swamy
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Type-Preserving Compiler for Security Verification
- Publication number 20110185345
- Publication date Jul 28, 2011
- Microsoft Corporation
- Nikhil Swamy
- G06 - COMPUTING CALCULATING COUNTING