Issued Patents All Time
Showing 25 most recent of 33 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8892694 | Declarative system configurations | — | 2014-11-18 |
| 8020141 | Operating-system process construction | Galen C. Hunt, James R. Larus, Edward P. Wobber, Martin Abadi, Michael B. Jones +1 more | 2011-09-13 |
| 7792758 | Substitution groups/inheritance for extensibility in authorization policy | Bob Atkinson, Brian A. LaMacchia | 2010-09-07 |
| 7788637 | Operating system process identification | Galen C. Hunt, James R. Larus, Edward P. Wobber, Martin Abadi, Michael B. Jones +1 more | 2010-08-31 |
| 7757075 | State reference | — | 2010-07-13 |
| 7694300 | Inter-process interference elimination | Galen C. Hunt, James R. Larus, Michael B. Jones, Trishul Chilimbi | 2010-04-06 |
| 7603717 | Digital licenses that include universally quantified variables | Bob Atkinson, Brian A. LaMacchia, Muthukrishnan Paramasivam, Xin Wang, Thomas DeMartini | 2009-10-13 |
| 7600232 | Inter-process communications employing bi-directional message conduits | Galen C. Hunt, James R. Larus, Manuel A. Fahndrich, Edward P. Wobber, Martin Abadi | 2009-10-06 |
| 7543336 | System and method for secure storage of data using public and private keys | Butler W. Lampson, Paul England | 2009-06-02 |
| 7529919 | Boot blocks for software | Butler W. Lampson, Paul England | 2009-05-05 |
| 7457412 | System and method for authenticating an operating system to a central processing unit, providing the CPU/OS with secure storage, and authenticating the CPU/OS to a third party | Paul England, Butler W. Lampson | 2008-11-25 |
| 7451435 | Self-describing artifacts and application abstractions | Galen C. Hunt, Thomas Roeder, James R. Larus, Manuel A. Fahndrich, Steven P. Levi +2 more | 2008-11-11 |
| 7434263 | System and method for secure storage data using a key | Butler W. Lampson, Paul England | 2008-10-07 |
| 7424606 | System and method for authenticating an operating system | Butler W. Lampson, Paul England | 2008-09-09 |
| 7424747 | Method and system for detecting pirated content | — | 2008-09-09 |
| 7415620 | System and method for authenticating an operating system to a central processing unit, providing the CPU/OS with secure storage, and authenticating the CPU/OS to a third party | Paul England, Butler W. Lampson | 2008-08-19 |
| 7356682 | Attesting to a value of a register and/or memory region | Butler W. Lampson, Paul England | 2008-04-08 |
| 7302709 | Key-based secure storage | Paul England, Butler W. Lampson | 2007-11-27 |
| 7228293 | Copy detection for digitally-formatted works | — | 2007-06-05 |
| 7194092 | Key-based secure storage | Paul England, Butler W. Lampson | 2007-03-20 |
| 7184985 | Method, system, and apparatus for providing secure access to a digital work | — | 2007-02-27 |
| 7177845 | Copy detection for digitally-formatted works | — | 2007-02-13 |
| 7174457 | System and method for authenticating an operating system to a central processing unit, providing the CPU/OS with secure storage, and authenticating the CPU/OS to a third party | Paul England, Butler W. Lampson | 2007-02-06 |
| 7139915 | Method and apparatus for authenticating an open system application to a portable IC device | — | 2006-11-21 |
| 7010684 | Method and apparatus for authenticating an open system application to a portable IC device | — | 2006-03-07 |