Issued Patents All Time
Showing 25 most recent of 28 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8701155 | Communicating using a cloud infrastructure | Patrick Stuedi, Mahesh Balakrishnan, Iqbal I. Mohomed, Venugopalan Ramasubramanian, Zhuoqing Morley Mao | 2014-04-15 |
| 8505065 | Access control policy in a weakly-coherent distributed collection | Martin Abadi, Thomas L. Rodeheffer | 2013-08-06 |
| 8327390 | VEX—virtual extension framework | Ulfar Erlingsson, Paul Barham, Thomas Roeder | 2012-12-04 |
| 8239954 | Access control based on program properties | Andrew Birrell, Martin Abadi | 2012-08-07 |
| 8150802 | Accumulating star knowledge in replicated data protocol | Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan | 2012-04-03 |
| 8020141 | Operating-system process construction | Galen C. Hunt, James R. Larus, John D. DeTreville, Martin Abadi, Michael B. Jones +1 more | 2011-09-13 |
| 7865934 | Access-control permissions with inter-process message-based communications | Manuel A. Fahndrich, Ulfar Erlingsson, Martin Abadi | 2011-01-04 |
| 7788637 | Operating system process identification | Galen C. Hunt, James R. Larus, John D. DeTreville, Martin Abadi, Michael B. Jones +1 more | 2010-08-31 |
| 7716734 | Systems and methods for pattern matching on principal names to control access to computing resources | Andrew Birrell, Martin Abadi | 2010-05-11 |
| 7685185 | Move-in/move-out notification for partial replica synchronization | Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry | 2010-03-23 |
| 7660993 | Cryptographic puzzle cancellation service for deterring bulk electronic mail messages | Andrew Birrell, Michael Burrows | 2010-02-09 |
| 7600232 | Inter-process communications employing bi-directional message conduits | Galen C. Hunt, James R. Larus, Manuel A. Fahndrich, Martin Abadi, John D. DeTreville | 2009-10-06 |
| 7574709 | VEX-virtual extension framework | Ulfar Erlingsson, Paul Barham, Thomas Roeder | 2009-08-11 |
| 7480761 | System and methods for an overlay disk and cache using portable flash memory | Andrew Birrell, Muthukaruppan Annamalai, Ulfar Erlingsson | 2009-01-20 |
| 7398349 | System and methods for an overlay disk and cache using portable flash memory | Andrew Birrell, Muthukaruppan Annamalai, Ulfar Erlingsson | 2008-07-08 |
| 7380051 | System and methods for an overlay disk and cache using portable flash memory | Andrew Birrell, Muthukaruppan Annamalai, Ulfar Erlingsson | 2008-05-27 |
| 7149801 | Memory bound functions for spam deterrence and the like | Michael Burrows, Martin Abadi, Mark Manasse, Daniel R. Simon | 2006-12-12 |
| 6718321 | Web-based electronic mail server apparatus and method using full text and label indexing | Andrew Birrell, Michael D. Schroeder | 2004-04-06 |
| 6189026 | Technique for dynamically generating an address book in a distributed electronic mail system | Andrew Birrell, Michael D. Schroeder, Christopher Melling, Simon Jaffer | 2001-02-13 |
| 6185551 | Web-based electronic mail service apparatus and method using full text and label indexing | Andrew Birrell, Michael D. Schroeder | 2001-02-06 |
| 6101543 | Pseudo network adapter for frame capture, encapsulation and encryption | Kenneth F. Alden, Mitchell P. Lichtenberg | 2000-08-08 |
| 6092101 | Method for filtering mail messages for a plurality of client computers connected to a mail service system | Andrew Birrell, Michael D. Schroeder | 2000-07-18 |
| 6029164 | Method and apparatus for organizing and accessing electronic mail messages using labels and full text and label indexing | Andrew Birrell, Michael D. Schroeder | 2000-02-22 |
| 6009462 | Replacing large bit component of electronic mail (e-mail) message with hot-link in distributed computer system | Andrew Birrell, Michael D. Schroeder | 1999-12-28 |
| 5805803 | Secure web tunnel | Andrew Birrell, Martin Abadi, Raymond Stata | 1998-09-08 |