| 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 |
