Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9740637 | Cryptographic multi-shadowing with integrity verification | Xiaoxin Chen, Carl A. Waldspurger, Tal Garfinkel, Dan Boneh | 2017-08-22 |
| 9727420 | Generating and using checkpoints in a virtual computer system | Carl A. Waldspurger, Michael Nelson, Daniel J. Scales | 2017-08-08 |
| 9658878 | Transparent memory-mapped emulation of I/O calls | Daniel R. K. Ports, Xiaoxin Chen, Carl A. Waldspurger, Tal Garfinkel | 2017-05-23 |