Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10255159 | Decoupling dynamic program analysis from execution in virtual environments | James Chow, Peter M. Chen | 2019-04-09 |
| 10169253 | Cryptographic multi-shadowing with integrity verification | Xiaoxin Chen, Carl A. Waldspurger, Pratap Subrahmanyam, Dan Boneh | 2019-01-01 |
| 9823992 | Decoupling dynamic program analysis from execution in virtual environments | James Chow, Peter M. Chen | 2017-11-21 |
| 9740637 | Cryptographic multi-shadowing with integrity verification | Xiaoxin Chen, Carl A. Waldspurger, Pratap Subrahmanyam, Dan Boneh | 2017-08-22 |
| 9658878 | Transparent memory-mapped emulation of I/O calls | Daniel R. K. Ports, Xiaoxin Chen, Carl A. Waldspurger, Pratap Subrahmanyam | 2017-05-23 |
| 9063766 | System and method of manipulating virtual machine recordings for high-level execution and replay | James Chow, Dominic Lucchetti | 2015-06-23 |
| 9058420 | Synchronous decoupled program analysis in virtual environments | Jim Tung-Hai Chow, Peter M. Chen | 2015-06-16 |
| 8819676 | Transparent memory-mapped emulation of I/O calls | Daniel R. K. Ports, Xiaoxin Chen, Carl A. Waldspurger, Pratap Subrahmanyam | 2014-08-26 |
| 8719800 | Accelerating replayed program execution to support decoupled program analysis | James Chow, Peter M. Chen | 2014-05-06 |
| 8719823 | Managing latency introduced by virtualization | Pratap Subrahmanyam, Carl A. Waldspurger, Vyacheslav V. Malyugin | 2014-05-06 |
| 8656222 | Method and system for recording a selected computer process for subsequent replay | James Chow, Dominic Lucchetti | 2014-02-18 |
| 8555081 | Cryptographic multi-shadowing with integrity verification | Xiaoxin Chen, Carl A. Waldspurger, Pratap Subrahmanyam, Dan Boneh | 2013-10-08 |
| 8352240 | Decoupling dynamic program analysis from execution across heterogeneous systems | James Chow, Peter M. Chen | 2013-01-08 |
| 8261265 | Transparent VMM-assisted user-mode execution control transfer | Xiaoxin Chen, Carl A. Waldspurger, Pratap Subrahmanyam, Daniel R. K. Ports | 2012-09-04 |
| 7984304 | Dynamic verification of validity of executable code | Carl A. Waldspurger, Ole Agesen, Xiaoxin Chen, John Zedlewski | 2011-07-19 |