Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10841089 | Key managers for distributed computing systems | — | 2020-11-17 |
| 10601593 | Type-based database confidentiality using trusted computing | Panagiotis Antonopoulos, Donald Kossmann, Ravi Ramamurthy, Kenneth Eguro, Raghav Kaushik +4 more | 2020-03-24 |
| 9262597 | Validating normalized code representations | Alain Comeau, Johann Rehberger, Graham Calladine, Wing Kwong Wan, George Raymond Derryberry, Jr. +3 more | 2016-02-16 |
| 8726254 | Embedded annotation and program analysis | Henning Korsholm Rohde, Avi Samuel Gavlovski | 2014-05-13 |