loadpatents
Patent applications and USPTO patent grants for Rajamani; Sriram K..The latest application filed is for "data operations using a proxy encryption key".
Patent | Date |
---|---|
Data operations using a proxy encryption key Grant 10,917,394 - Manu , et al. February 9, 2 | 2021-02-09 |
Encryption using multi-level encryption key derivation Grant 10,904,231 - Sridharan , et al. January 26, 2 | 2021-01-26 |
Data Operations Using A Proxy Encryption Key App 20200067896 - Manu; Mitica ;   et al. | 2020-02-27 |
Data operations using a proxy encryption key Grant 10,484,352 - Manu , et al. Nov | 2019-11-19 |
Data Operations Using A Proxy Encryption Key App 20180288020 - MANU; Mitica ;   et al. | 2018-10-04 |
Encryption Using Multi-level Encryption Key Derivation App 20180287789 - SRIDHARAN; Baskar ;   et al. | 2018-10-04 |
Distributed analytics platform Grant 9,383,970 - Joy , et al. July 5, 2 | 2016-07-05 |
Analyzing access control configurations Grant 9,213,843 - Naldurg , et al. December 15, 2 | 2015-12-15 |
Analyzing Access Control Configurations App 20150143525 - Naldurg; Prasad G. ;   et al. | 2015-05-21 |
Analyzing access control configurations Grant 8,701,200 - Naldurg , et al. April 15, 2 | 2014-04-15 |
Propagating User Experience State Information App 20130254282 - Joy; Joseph M. ;   et al. | 2013-09-26 |
Manipulation of User Experience State App 20130251344 - Joy; Joseph M. ;   et al. | 2013-09-26 |
Parallelizing Top-down Interprocedural Analysis App 20130239093 - Nori; Aditya V. ;   et al. | 2013-09-12 |
Analyzing Access Control Configurations App 20130067583 - Naldurg; Prasad G. ;   et al. | 2013-03-14 |
Analyzing access control configurations Grant 8,266,702 - Naldurg , et al. September 11, 2 | 2012-09-11 |
Quantified Belief Propagation App 20120197829 - Nori; Aditya V. ;   et al. | 2012-08-02 |
Enabling analysis of software source code Grant 7,917,900 - Rajamani , et al. March 29, 2 | 2011-03-29 |
Distributed Analytics Platform App 20110040808 - Joy; Joseph M. ;   et al. | 2011-02-17 |
Analysis of distributed software systems via specification substitution Grant 7,797,669 - Rehof , et al. September 14, 2 | 2010-09-14 |
Method for enhancing program analysis Grant 7,757,219 - Ball , et al. July 13, 2 | 2010-07-13 |
Programming model to detect deadlocks in concurrent programs Grant 7,703,077 - Rehof , et al. April 20, 2 | 2010-04-20 |
Object relational map verification system Grant 7,702,695 - Mehra , et al. April 20, 2 | 2010-04-20 |
Contracts and futures in an asynchronous programming language Grant 7,694,276 - Larus , et al. April 6, 2 | 2010-04-06 |
System and method for generating a predicate abstraction of a program Grant 7,657,867 - Ball , et al. February 2, 2 | 2010-02-02 |
Sound transaction-based reduction without cycle detection Grant 7,650,595 - Qadeer , et al. January 19, 2 | 2010-01-19 |
Generation And Evaluation Of Test Cases For Software Validation And Proofs App 20090282289 - Nori; Aditya V. ;   et al. | 2009-11-12 |
Procedure summaries for multithreaded software Grant 7,555,418 - Qadeer , et al. June 30, 2 | 2009-06-30 |
Error detection in web services systems Grant 7,536,606 - Andrews , et al. May 19, 2 | 2009-05-19 |
Object-based systematic state space exploration of software Grant 7,526,750 - Andrews , et al. April 28, 2 | 2009-04-28 |
Counterexample driven refinement for abstract interpretation Grant 7,509,534 - Rajamani , et al. March 24, 2 | 2009-03-24 |
Object Relational Map Verification System App 20090006463 - Mehra; Krishna ;   et al. | 2009-01-01 |
Enabling Analysis Of Software Source Code App 20080244539 - Rajamani; Sriram K. ;   et al. | 2008-10-02 |
Design Rule System For Verifying And Enforcing Design Rules In Software App 20080229261 - Rajamani; Sriram K. ;   et al. | 2008-09-18 |
Analyzing Access Control Configurations App 20080104665 - Naldurg; Prasad G. ;   et al. | 2008-05-01 |
Counterexample Driven Refinement For Abstract Interpretation App 20080034353 - Rajamani; Sriram K. ;   et al. | 2008-02-07 |
Behavioral analysis for message-passing application programs Grant 7,203,924 - Rehof , et al. April 10, 2 | 2007-04-10 |
Deciding assertions in programs with references App 20060247907 - Qadeer; Shaz ;   et al. | 2006-11-02 |
Sound transaction-based reduction without cycle detection App 20060248515 - Qadeer; Shaz ;   et al. | 2006-11-02 |
System and method for generating a predicate abstraction of a program Grant 7,058,925 - Ball , et al. June 6, 2 | 2006-06-06 |
Error detection in web services systems App 20050257098 - Andrews, Anthony Dean ;   et al. | 2005-11-17 |
System and method for generating a predicate abstraction of a program App 20050235257 - Ball, Thomas J. ;   et al. | 2005-10-20 |
Method for enhancing program analysis App 20050149904 - Ball, Thomas J. ;   et al. | 2005-07-07 |
Methods for enhancing program analysis Grant 6,904,590 - Ball , et al. June 7, 2 | 2005-06-07 |
Object-based systematic state space exploration of software App 20050086648 - Andrews, Anthony D. ;   et al. | 2005-04-21 |
Contracts and futures in an asynchronous programming language App 20040172638 - Larus, James R. ;   et al. | 2004-09-02 |
Programming model for concurrent programs App 20030204641 - Rehof, Jakob ;   et al. | 2003-10-30 |
System and method for generating a predicate abstraction of a program App 20030204834 - Ball, Thomas J. ;   et al. | 2003-10-30 |
Behavioral analysis for message-passing application programs App 20030204570 - Rehof, Jakob ;   et al. | 2003-10-30 |
Methods for enhancing program analysis App 20020178401 - Ball, Thomas J. ;   et al. | 2002-11-28 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.