Issued Patents 2023
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11841956 | Systems and methods for data lifecycle protection | Gregory T. Sullivan | 2023-12-12 |
| 11797398 | Systems and methods for checking safety properties | Andrew Sutherland, Gregory T. Sullivan | 2023-10-24 |