| 9495183 |
Instruction set emulation for guest operating systems |
Barry Bond, Reuben R. Olinsky |
2016-11-15 |
| 9425965 |
Cryptographic certification of secure hosted execution environments |
Andrew A. Baumann, Marcus Peinado |
2016-08-23 |
| 9413538 |
Cryptographic certification of secure hosted execution environments |
Andrew A. Baumann, Marcus Peinado |
2016-08-09 |
| 9396047 |
Operating system distributed over heterogeneous platforms |
Edmund B. Nightingale, Orion Hodson |
2016-07-19 |
| 9389933 |
Facilitating system service request interactions for hardware-protected applications |
Andrew A. Baumann, Marcus Peinado |
2016-07-12 |
| 9323921 |
Ultra-low cost sandboxing for application appliances |
Donald Porter |
2016-04-26 |
| 9317270 |
Model-based virtual system provisioning |
Anders Vinberg, Robert M. Fries, Kevin Grealish, Aamer Hydrie, Edwin R. Lassettre +8 more |
2016-04-19 |
| 9286182 |
Virtual machine snapshotting and analysis |
Robert M. Fries, Shobana Balakrishnan |
2016-03-15 |
