Issued Patents 2023
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11797398 | Systems and methods for checking safety properties | Jonathan B. Rosenberg, Gregory T. Sullivan | 2023-10-24 |
| 11748457 | Systems and methods for policy linking and/or loading for secure initialization | Eli Boling, Steven Milburn, Gregory T. Sullivan | 2023-09-05 |
| 11709680 | Systems and methods for policy execution processing | Steve E. Milburn, Eli Boling, Andre' DeHon, Gregory T. Sullivan | 2023-07-25 |