Issued Patents All Time
Showing 25 most recent of 29 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10917394 | Data operations using a proxy encryption key | Mitica Manu, Baskar Sridharan, Raghunath Ramakrishnan, Victor Boyko, Pushkar Vijay Chitnis +2 more | 2021-02-09 |
| 10904231 | Encryption using multi-level encryption key derivation | Baskar Sridharan, Victor Boyko, Mitica Manu | 2021-01-26 |
| 10601596 | Techniques to secure computation data in a computing environment | Manuel Costa, Orion Hodson, Marcus Peinado, Mark Eugene Russinovich, Kapil Vaswani | 2020-03-24 |
| 10484352 | Data operations using a proxy encryption key | Mitica Manu, Baskar Sridharan, Raghunath Ramakrishnan, Victor Boyko, Pushkar Vijay Chitnis +2 more | 2019-11-19 |
| 10230529 | Techniques to secure computation data in a computing environment | Manuel Costa, Orion Hodson, Marcus Peinado, Mark Eugene Russinovich, Kapil Vaswani | 2019-03-12 |
| 9383970 | Distributed analytics platform | Joseph M. Joy, Balasubramanyan Ashok, Ganesan Ramalingam | 2016-07-05 |
| 9213843 | Analyzing access control configurations | Prasad G. Naldurg, Stefan Schwoon, John Lambert | 2015-12-15 |
| 9104961 | Modeling a data generating process using dyadic Bayesian models | Andrew D. Gordon, Thore Graepel, Aditya Vithal Nori, Johannes Borgstroem | 2015-08-11 |
| 8910120 | Software debugging recommendations | Gopal Ranganatha Srinivasa, Vipindeep Vangala, Balasubramanyan Ashok, Jacek A. Czerwonka, Hongkang Liang +1 more | 2014-12-09 |
| 8825572 | Program synthesis with existentially and universally quantified belief propagation using probabilistic inference | Aditya Vithal Nori, Rahul Srinivasan, Sumit Gulwani | 2014-09-02 |
| 8799922 | Programming model for collaborative distributed systems | Kaushik Rajan, Shashank Yaduvanshi | 2014-08-05 |
| 8701200 | Analyzing access control configurations | Prasad G. Naldurg, Stefan Schwoon, John Lambert | 2014-04-15 |
| 8266702 | Analyzing access control configurations | Prasad G. Naldurg, Stefan Schwoon, John Lambert | 2012-09-11 |
| 7941616 | System to reduce interference in concurrent programs | Ganesan Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani | 2011-05-10 |
| 7917900 | Enabling analysis of software source code | Prakash Chandrasekharan, Christopher L. Conway, Joseph M. Joy | 2011-03-29 |
| 7797669 | Analysis of distributed software systems via specification substitution | Niels Jakob Rehof, Anthony D. Andrews, Charles Antony Richard Hoare, Cedric Fournet | 2010-09-14 |
| 7757219 | Method for enhancing program analysis | Thomas J. Ball | 2010-07-13 |
| 7702695 | Object relational map verification system | Krishna Kumar Mehra, Aravinda P. Sistla, Sumit Kumar Jha | 2010-04-20 |
| 7703077 | Programming model to detect deadlocks in concurrent programs | Jakob Rehof, James R. Larus | 2010-04-20 |
| 7694276 | Contracts and futures in an asynchronous programming language | James R. Larus, Jakob Rehof | 2010-04-06 |
| 7657867 | System and method for generating a predicate abstraction of a program | Thomas J. Ball, Todd Millstein, Rupak Majumdar | 2010-02-02 |
| 7650595 | Sound transaction-based reduction without cycle detection | Shaz Qadeer, Vladimir A. Levin, Robert A. Palmer, Jr. | 2010-01-19 |
| 7555418 | Procedure summaries for multithreaded software | Shaz Qadeer, Niels Jakob Rehof | 2009-06-30 |
| 7536606 | Error detection in web services systems | Anthony D. Andrews, Jakob Rehob | 2009-05-19 |
| 7526750 | Object-based systematic state space exploration of software | Anthony D. Andrews, Shaz Qadeer, Niels Jakob Rehof, Yichen Xie | 2009-04-28 |