Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9430402 | System and method for providing stealth memory | Taesoo Kim | 2016-08-30 |
| 9425965 | Cryptographic certification of secure hosted execution environments | Andrew A. Baumann, Galen C. Hunt | 2016-08-23 |
| 9413538 | Cryptographic certification of secure hosted execution environments | Andrew A. Baumann, Galen C. Hunt | 2016-08-09 |
| 9389933 | Facilitating system service request interactions for hardware-protected applications | Andrew A. Baumann, Galen C. Hunt | 2016-07-12 |
| 9329845 | Determining target types for generic pointers in source code | Weidong Cui | 2016-05-03 |