Issued Patents All Time
Showing 26–50 of 53 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8935675 | Statistical sampling of event monitoring triggers under overhead constraints | Michael Vrable, Yinqian Zhang | 2015-01-13 |
| 8875281 | Methods and systems for using derived user accounts | — | 2014-10-28 |
| 8850574 | Safe self-modifying code | Jason Ansel, Cliff L. Biffle, David C. Sehr | 2014-09-30 |
| 8745741 | Detecting and handling vtable pointer corruption | Caroline Tice, Geoffrey Pike, Lawrence Alan Crowl, Cary A. Coutant, Xinliang David Li +2 more | 2014-06-03 |
| 8683578 | Methods and systems for using derived user accounts | — | 2014-03-25 |
| 8677141 | Enhanced security and performance of web applications | Yinglian Xie, Ben Livshits, Cedric Fournet | 2014-03-18 |
| 8522034 | Systems and methods for transparent configuration authentication of networked devices | Xavier Boyen, Darrell Anderson, Wayne Gray | 2013-08-27 |
| 8327390 | VEX—virtual extension framework | Edward P. Wobber, Paul Barham, Thomas Roeder | 2012-12-04 |
| 8261095 | Methods and systems for using derived user accounts | — | 2012-09-04 |
| 8209664 | High level programming extensions for distributed data parallel processing | Yuan Yu, Michael Isard, Frank D. McSherry | 2012-06-26 |
| 8185783 | Split user-mode/kernel-mode device driver architecture | Mingtzong Lee, Peter Wieland, Nar Ganapathy, Martin Abadi, John Richardson | 2012-05-22 |
| 8136091 | Architectural support for software-based protection | Martin Abadi, Mihai Budiu | 2012-03-13 |
| 8104021 | Verifiable integrity guarantees for machine code programs | Martin Abadi, Michael Vrable | 2012-01-24 |
| 8090951 | Systems and methods for transparent configuration authentication of networked devices | Xavier Boyen, Darrell Anderson, Wayne Gray | 2012-01-03 |
| 7870336 | Operating system protection against side-channel attacks on secrecy | Martin Abadi | 2011-01-11 |
| 7865934 | Access-control permissions with inter-process message-based communications | Edward P. Wobber, Manuel A. Fahndrich, Martin Abadi | 2011-01-04 |
| 7739356 | Global and local entity naming | Frank D. McSherry | 2010-06-15 |
| 7698713 | Altered states of software component behavior | — | 2010-04-13 |
| 7664927 | Hash tables | Mark Manasse, Frank D. McSherry, Abraham Flaxman | 2010-02-16 |
| 7577992 | Software security based on control flow integrity | Martin Abadi, Mihai Budiu, Jay Ligatti | 2009-08-18 |
| 7574709 | VEX-virtual extension framework | Edward P. Wobber, Paul Barham, Thomas Roeder | 2009-08-11 |
| 7480761 | System and methods for an overlay disk and cache using portable flash memory | Andrew Birrell, Edward P. Wobber, Muthukaruppan Annamalai | 2009-01-20 |
| 7406542 | Method and system for assured denotation of application semantics | — | 2008-07-29 |
| 7398349 | System and methods for an overlay disk and cache using portable flash memory | Andrew Birrell, Edward P. Wobber, Muthukaruppan Annamalai | 2008-07-08 |
| 7380051 | System and methods for an overlay disk and cache using portable flash memory | Andrew Birrell, Edward P. Wobber, Muthukaruppan Annamalai | 2008-05-27 |