Sriram Kottarakurichi Rajamani

Person

Bangalore, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Data operations using a proxy encryption key
- Patent number 10,917,394
- Issue date Feb 9, 2021
- Microsoft Technology Licensing, LLC
- Mitica Manu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Encryption using multi-level encryption key derivation
- Patent number 10,904,231
- Issue date Jan 26, 2021
- Microsoft Technology Licensing, LLC
- Baskar Sridharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data operations using a proxy encryption key
- Patent number 10,484,352
- Issue date Nov 19, 2019
- Microsoft Technology Licensing, LLC
- Mitica Manu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Techniques to secure computation data in a computing environment
- Patent number 10,230,529
- Issue date Mar 12, 2019
- MICROSFT TECHNOLOGY LICENSING, LLC
- Manuel Costa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed analytics platform
- Patent number 9,383,970
- Issue date Jul 5, 2016
- Microsoft Technology Licensing, LLC
- Joseph M. Joy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analyzing access control configurations
- Patent number 9,213,843
- Issue date Dec 15, 2015
- Microsoft Technology Licensing, LLC
- Prasad G. Naldurg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Modeling a data generating process using dyadic Bayesian models
- Patent number 9,104,961
- Issue date Aug 11, 2015
- Microsoft Technology Licensing, LLC
- Andrew D. Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software debugging recommendations
- Patent number 8,910,120
- Issue date Dec 9, 2014
- Microsoft Corporation
- Gopal Ranganatha Srinivasa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program synthesis with existentially and universally quantified bel...
- Patent number 8,825,572
- Issue date Sep 2, 2014
- Microsoft Corporation
- Aditya Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Programming model for collaborative distributed systems
- Patent number 8,799,922
- Issue date Aug 5, 2014
- Microsoft Corporation
- Kaushik Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analyzing access control configurations
- Patent number 8,701,200
- Issue date Apr 15, 2014
- Microsoft Corporation
- Prasad G. Naldurg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Analyzing access control configurations
- Patent number 8,266,702
- Issue date Sep 11, 2012
- Microsoft Corporation
- Prasad G. Naldurg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System to reduce interference in concurrent programs
- Patent number 7,941,616
- Issue date May 10, 2011
- Microsoft Corporation
- Sriram Rajamani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enabling analysis of software source code
- Patent number 7,917,900
- Issue date Mar 29, 2011
- Microsoft Corporation
- Sriram K. Rajamani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Object relational map verification system
- Patent number 7,702,695
- Issue date Apr 20, 2010
- Microsoft Corporation
- Krishna Mehra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Counterexample driven refinement for abstract interpretation
- Patent number 7,509,534
- Issue date Mar 24, 2009
- Microsoft Corporation
- Sriram K. Rajamani
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DATA OPERATIONS USING A PROXY ENCRYPTION KEY
- Publication number 20200067896
- Publication date Feb 27, 2020
- Microsoft Technology Licensing, LLC
- Mitica MANU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ENCRYPTION USING MULTI-LEVEL ENCRYPTION KEY DERIVATION
- Publication number 20180287789
- Publication date Oct 4, 2018
- Microsoft Technology Licensing, LLC
- Baskar SRIDHARAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA OPERATIONS USING A PROXY ENCRYPTION KEY
- Publication number 20180288020
- Publication date Oct 4, 2018
- Microsoft Technology Licensing, LLC
- Mitica MANU
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNIQUES TO SECURE COMPUTATION DATA IN A COMPUTING ENVIRONMENT
- Publication number 20170033930
- Publication date Feb 2, 2017
- Microsoft Technology Licensing, LLC
- Manuel Costa
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ANALYZING ACCESS CONTROL CONFIGURATIONS
- Publication number 20150143525
- Publication date May 21, 2015
- Microsoft Corporation
- Prasad G. Naldurg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODELING DATA GENERATING PROCESS
- Publication number 20140101090
- Publication date Apr 10, 2014
- Microsoft Corporation
- Andrew D. Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Manipulation of User Experience State
- Publication number 20130251344
- Publication date Sep 26, 2013
- Microsoft Corporation
- Joseph M. Joy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROPAGATING USER EXPERIENCE STATE INFORMATION
- Publication number 20130254282
- Publication date Sep 26, 2013
- Microsoft Corporation
- Joseph M. Joy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLELIZING TOP-DOWN INTERPROCEDURAL ANALYSIS
- Publication number 20130239093
- Publication date Sep 12, 2013
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROBABILISTIC MODEL APPROXIMATION FOR STATISTICAL RELATIONAL LEARNING
- Publication number 20130144812
- Publication date Jun 6, 2013
- Microsoft Corporation
- Arun Tejasvi Chaganty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYZING ACCESS CONTROL CONFIGURATIONS
- Publication number 20130067583
- Publication date Mar 14, 2013
- Microsoft Corporation
- Prasad G. Naldurg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTIFIED BELIEF PROPAGATION
- Publication number 20120197829
- Publication date Aug 2, 2012
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAMMING MODEL FOR COLLABORATIVE DISTRIBUTED SYSTEMS
- Publication number 20110296432
- Publication date Dec 1, 2011
- Microsoft Corporation
- Kaushik Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE DEBUGGING RECOMMENDATIONS
- Publication number 20110219360
- Publication date Sep 8, 2011
- Microsoft Corporation
- Gopal Ranganatha Srinivasa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DISTRIBUTED ANALYTICS PLATFORM
- Publication number 20110040808
- Publication date Feb 17, 2011
- Microsoft Corporation
- Joseph M. Joy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMBINATION MAY-MUST CODE ANALYSIS
- Publication number 20100251221
- Publication date Sep 30, 2010
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM TO REDUCE INTERFERENCE IN CONCURRENT PROGRAMS
- Publication number 20100100690
- Publication date Apr 22, 2010
- Microsoft Corporation
- Sriram Rajamani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DOMAIN-SPECIFIC GUIDANCE SERVICE FOR SOFTWARE DEVELOPMENT
- Publication number 20090327809
- Publication date Dec 31, 2009
- Microsoft Corporation
- Joseph M. Joy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION AND EVALUATION OF TEST CASES FOR SOFTWARE VALIDATION AND...
- Publication number 20090282289
- Publication date Nov 12, 2009
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OBJECT RELATIONAL MAP VERIFICATION SYSTEM
- Publication number 20090006463
- Publication date Jan 1, 2009
- Microsoft Corporation
- Krishna Mehra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ENABLING ANALYSIS OF SOFTWARE SOURCE CODE
- Publication number 20080244539
- Publication date Oct 2, 2008
- Microsoft Corporation
- Sriram K. Rajamani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DESIGN RULE SYSTEM FOR VERIFYING AND ENFORCING DESIGN RULES IN SOFT...
- Publication number 20080229261
- Publication date Sep 18, 2008
- Microsoft Corporation
- Sriram K. Rajamani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ANALYZING ACCESS CONTROL CONFIGURATIONS
- Publication number 20080104665
- Publication date May 1, 2008
- Microsoft Corporation
- Prasad G. Naldurg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COUNTEREXAMPLE DRIVEN REFINEMENT FOR ABSTRACT INTERPRETATION
- Publication number 20080034353
- Publication date Feb 7, 2008
- Microsoft Corporation
- Sriram K. Rajamani
- G06 - COMPUTING CALCULATING COUNTING

Sriram Kottarakurichi Rajamani

Person

Patents Grantslast 30 patents

Data operations using a proxy encryption key

Encryption using multi-level encryption key derivation

Data operations using a proxy encryption key

Techniques to secure computation data in a computing environment

Distributed analytics platform

Analyzing access control configurations

Modeling a data generating process using dyadic Bayesian models

Software debugging recommendations

Program synthesis with existentially and universally quantified bel...

Programming model for collaborative distributed systems

Analyzing access control configurations

Analyzing access control configurations

System to reduce interference in concurrent programs

Enabling analysis of software source code

Object relational map verification system

Counterexample driven refinement for abstract interpretation

Patents Applicationslast 30 patents

DATA OPERATIONS USING A PROXY ENCRYPTION KEY

ENCRYPTION USING MULTI-LEVEL ENCRYPTION KEY DERIVATION

DATA OPERATIONS USING A PROXY ENCRYPTION KEY

TECHNIQUES TO SECURE COMPUTATION DATA IN A COMPUTING ENVIRONMENT

ANALYZING ACCESS CONTROL CONFIGURATIONS

MODELING DATA GENERATING PROCESS

Manipulation of User Experience State

PROPAGATING USER EXPERIENCE STATE INFORMATION

PARALLELIZING TOP-DOWN INTERPROCEDURAL ANALYSIS

PROBABILISTIC MODEL APPROXIMATION FOR STATISTICAL RELATIONAL LEARNING

ANALYZING ACCESS CONTROL CONFIGURATIONS

QUANTIFIED BELIEF PROPAGATION

PROGRAMMING MODEL FOR COLLABORATIVE DISTRIBUTED SYSTEMS

SOFTWARE DEBUGGING RECOMMENDATIONS

DISTRIBUTED ANALYTICS PLATFORM

COMBINATION MAY-MUST CODE ANALYSIS

SYSTEM TO REDUCE INTERFERENCE IN CONCURRENT PROGRAMS

DOMAIN-SPECIFIC GUIDANCE SERVICE FOR SOFTWARE DEVELOPMENT

GENERATION AND EVALUATION OF TEST CASES FOR SOFTWARE VALIDATION AND...

OBJECT RELATIONAL MAP VERIFICATION SYSTEM

ENABLING ANALYSIS OF SOFTWARE SOURCE CODE

DESIGN RULE SYSTEM FOR VERIFYING AND ENFORCING DESIGN RULES IN SOFT...

ANALYZING ACCESS CONTROL CONFIGURATIONS

COUNTEREXAMPLE DRIVEN REFINEMENT FOR ABSTRACT INTERPRETATION