Issued Patents All Time
Showing 26–30 of 30 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7797669 | Analysis of distributed software systems via specification substitution | Niels Jakob Rehof, Anthony D. Andrews, Sriram K. Rajamani, Charles Antony Richard Hoare | 2010-09-14 |
| 7567523 | System and method for network topology discovery | Richard John Black, Austin Donnelly | 2009-07-28 |
| 7559080 | Automatically generating security policies for web services | Karthikeyan Bhargavan, Andrew D. Gordon, Christopher G. Kaler | 2009-07-07 |
| 7437718 | Reviewing the security of trusted software components | Andrew D. Gordon, Tomasz Pierre Blanc | 2008-10-14 |
| 7203833 | History based rights computation for managed code | Martin Abadi | 2007-04-10 |