Issued Patents All Time
Showing 26–50 of 72 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9740637 | Cryptographic multi-shadowing with integrity verification | Carl A. Waldspurger, Pratap Subrahmanyam, Tal Garfinkel, Dan Boneh | 2017-08-22 |
| 9658878 | Transparent memory-mapped emulation of I/O calls | Daniel R. K. Ports, Carl A. Waldspurger, Pratap Subrahmanyam, Tal Garfinkel | 2017-05-23 |
| 9336033 | Secure identification of execution contexts | Carl A. Waldspurger, Pratap Subrahmanyam | 2016-05-10 |
| 9274974 | Isolating data within a computer system using private shadow mappings | Carl A. Waldspurger, Pratap Subrahmanyam | 2016-03-01 |
| 9250943 | Providing memory condition information to guest applications | Carl A. Waldspurger, Anil Rao | 2016-02-02 |
| 9122765 | Efficient overcommitment of main-memory based virtual database system to disk | — | 2015-09-01 |
| 8826273 | Synchronously logging to disk for main-memory database systems through record and replay | — | 2014-09-02 |
| 8826278 | Controlling memory conditions in a virtual machine | Carl A. Waldspurger, Anil Rao | 2014-09-02 |
| 8819676 | Transparent memory-mapped emulation of I/O calls | Daniel R. K. Ports, Carl A. Waldspurger, Pratap Subrahmanyam, Tal Garfinkel | 2014-08-26 |
| 8763115 | Impeding progress of malicious guest software | Dmitriy Budko, Oded Horovitz, Carl A. Waldspurger | 2014-06-24 |
| 8756397 | System and method for cooperative virtual machine memory scheduling | Carl A. Waldspurger, Anil Rao | 2014-06-17 |
| 8745308 | System and method to enhance memory protection for programs in a virtual machine environment | Pratap Subrahmanyam | 2014-06-03 |
| 8607013 | Providing VMM access to guest virtual memory | Carl A. Waldspurger, Pratap Subrahmanyam | 2013-12-10 |
| 8555081 | Cryptographic multi-shadowing with integrity verification | Carl A. Waldspurger, Pratap Subrahmanyam, Tal Garfinkel, Dan Boneh | 2013-10-08 |
| 8543790 | System and method for cooperative virtual machine memory scheduling | Carl A. Waldspruger, Anil Rao | 2013-09-24 |
| 8544010 | Providing notification to speculatively waking up target virtual machine for an I/O event using multiple virtual machines and processors | Wei Huang, Michal Ostrowski, Qicheng Li | 2013-09-24 |
| 8521504 | Method and apparatus for managing registers in a binary translator | Sahil Rihan | 2013-08-27 |
| 8402441 | Monitoring execution of guest code in a virtual machine | Dmitriy Budko, Oded Horovitz, Pratap Subrahmanyam, Carl A. Waldspurger | 2013-03-19 |
| 8359451 | Management of host physical memory allocation to virtual machines with a balloon application | Carl A. Waldspurger, Anil Rao | 2013-01-22 |
| 8327059 | System and method to enhance memory protection for programs in a virtual machine environment | Pratap Subrahmanyam | 2012-12-04 |
| 8271450 | Monitoring a data structure in a virtual machine and determining if memory pages containing the data structure are swapped into or out of guest physical memory | Oded Horovitz, Ophir Rachman, Wei Xu, Adrian Drzewiecki | 2012-09-18 |
| 8266628 | Switching between multiple software entities using different operating modes of a processor | Alberto J. Munoz, Sahil Rihan, Robert D. Manchester | 2012-09-11 |
| 8261265 | Transparent VMM-assisted user-mode execution control transfer | Carl A. Waldspurger, Pratap Subrahmanyam, Tal Garfinkel, Daniel R. K. Ports | 2012-09-04 |
| 8250519 | Forcing registered code into an execution context of guest software | Dmitriy Budko, Oded Horovitz, Pratap Subrahmanyam, Carl A. Waldspurger | 2012-08-21 |
| 8225071 | Accessing multiple page tables in a computer system | Alberto J. Munoz | 2012-07-17 |