| 10601596 |
Techniques to secure computation data in a computing environment |
Manuel Costa, Sriram K. Rajamani, Marcus Peinado, Mark Eugene Russinovich, Kapil Vaswani |
2020-03-24 |
| 10230529 |
Techniques to secure computation data in a computing environment |
Manuel Costa, Sriram K. Rajamani, Marcus Peinado, Mark Eugene Russinovich, Kapil Vaswani |
2019-03-12 |
| 9817860 |
Generation and application of correctness-enforced executable filters |
Christos Gkantsidis, Dimitrios Vytiniotis, Dushyanth Narayanan, Antony Rowstron |
2017-11-14 |
| 9396047 |
Operating system distributed over heterogeneous platforms |
Edmund B. Nightingale, Galen C. Hunt |
2016-07-19 |
| 8789063 |
Master and subordinate operating system kernels for heterogeneous multiprocessor systems |
Haryadi Gunawi, Galen C. Hunt |
2014-07-22 |
| 8776088 |
Operating system distributed over heterogeneous platforms |
Galen C. Hunt, Edmund B. Nightingale |
2014-07-08 |
| 8458514 |
Memory management to accommodate non-maskable failures |
Timothy L. Harris, Karin Strauss, Dushyanth Narayanan |
2013-06-04 |
| 8074231 |
Configuration of isolated extensions and device drivers |
Galen C. Hunt, James R. Larus, Manuel A. Fahndrich, David Tarditi, Michael F. Spear +3 more |
2011-12-06 |
