Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7644284 | Specifying security protocols and policy constraints in distributed systems | — | 2010-01-05 |
| 7184988 | Methods for operating infrastructure and applications for cryptographically-supported services | Yair Frankel, Charles Thomas Montgomery, Marcel Mordechay Yung | 2007-02-27 |
| 6405313 | Method for providing authentication assurance in a key-binding system | Michael Kendrick Reiter | 2002-06-11 |
| 6381698 | System and method for providing assurance to a host that a piece of software possesses a particular property | Premkumar Thomas Devanbu | 2002-04-30 |
| 6256741 | Specifying security protocols and policy constraints in distributed systems | — | 2001-07-03 |
| 6249871 | System and method for using a second resource to store a data element from a first resource in a first-in last-out stack | Premkumar Thomas Devanbu | 2001-06-19 |
| 6237094 | System and method for using a second resource to store a data element from a first resource in a first-in first-out queue | Premkumar Thomas Devanbu | 2001-05-22 |
| 6216231 | Specifying security protocols and policy constraints in distributed systems | — | 2001-04-10 |
| 6148401 | System and method for providing assurance to a host that a piece of software possesses a particular property | Premkumar Thomas Devanbu | 2000-11-14 |
| 6108644 | System and method for electronic transactions | David Goldschlag, Paul Syverson | 2000-08-22 |
| 6101603 | System and method for using a second resource to store a data element from a first resource in a first-in last-out stack | Premkumar Thomas Devanbu | 2000-08-08 |
| 6098170 | System and method for using a second resource to store a data element from a first resource in a first-in first-out queue | Premkumar Thomas Devanbu | 2000-08-01 |
| 6049872 | Method for authenticating a channel in large-scale distributed systems | Michael Kendrick Reiter | 2000-04-11 |