| 8701155 |
Communicating using a cloud infrastructure |
Patrick Stuedi, Mahesh Balakrishnan, Iqbal I. Mohomed, Venugopalan Ramasubramanian, Zhuoqing Morley Mao |
2014-04-15 |
$31,167,000 |
| 8505065 |
Access control policy in a weakly-coherent distributed collection |
Martin Abadi, Thomas L. Rodeheffer |
2013-08-06 |
$23,592,000 |
| 8327390 |
VEX—virtual extension framework |
Ulfar Erlingsson, Paul Barham, Thomas Roeder |
2012-12-04 |
$15,162,000 |
| 8239954 |
Access control based on program properties |
Andrew Birrell, Martin Abadi |
2012-08-07 |
$11,434,000 |
| 8150802 |
Accumulating star knowledge in replicated data protocol |
Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan |
2012-04-03 |
$18,463,000 |
| 8020141 |
Operating-system process construction |
Galen C. Hunt, James R. Larus, John D. DeTreville, Martin Abadi, Michael B. Jones +1 more |
2011-09-13 |
$16,414,000 |
| 7865934 |
Access-control permissions with inter-process message-based communications |
Manuel A. Fahndrich, Ulfar Erlingsson, Martin Abadi |
2011-01-04 |
$27,759,000 |
| 7788637 |
Operating system process identification |
Galen C. Hunt, James R. Larus, John D. DeTreville, Martin Abadi, Michael B. Jones +1 more |
2010-08-31 |
$11,672,000 |
| 7716734 |
Systems and methods for pattern matching on principal names to control access to computing resources |
Andrew Birrell, Martin Abadi |
2010-05-11 |
$12,269,000 |
| 7685185 |
Move-in/move-out notification for partial replica synchronization |
Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry |
2010-03-23 |
$19,870,000 |
| 7660993 |
Cryptographic puzzle cancellation service for deterring bulk electronic mail messages |
Andrew Birrell, Michael Burrows |
2010-02-09 |
$23,520,000 |
| 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 |
$25,836,000 |
| 7574709 |
VEX-virtual extension framework |
Ulfar Erlingsson, Paul Barham, Thomas Roeder |
2009-08-11 |
$34,426,000 |
| 7480761 |
System and methods for an overlay disk and cache using portable flash memory |
Andrew Birrell, Muthukaruppan Annamalai, Ulfar Erlingsson |
2009-01-20 |
$33,255,000 |
| 7398349 |
System and methods for an overlay disk and cache using portable flash memory |
Andrew Birrell, Muthukaruppan Annamalai, Ulfar Erlingsson |
2008-07-08 |
$28,005,000 |
| 7380051 |
System and methods for an overlay disk and cache using portable flash memory |
Andrew Birrell, Muthukaruppan Annamalai, Ulfar Erlingsson |
2008-05-27 |
$21,072,000 |
| 7149801 |
Memory bound functions for spam deterrence and the like |
Michael Burrows, Martin Abadi, Mark Manasse, Daniel R. Simon |
2006-12-12 |
$25,378,000 |
| 6718321 |
Web-based electronic mail server apparatus and method using full text and label indexing |
Andrew Birrell, Michael D. Schroeder |
2004-04-06 |
$11,728,000 |
| 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 |
|
