Issued Patents 2025
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12332774 | Allocation of memory within a data type-specific memory heap | — | 2025-06-17 |
| 12299447 | Hardware verification of dynamically generated code | Jeffrey E. Gonion, Michael D. Snyder | 2025-05-13 |
| 12259978 | Verifiable machine code | — | 2025-03-25 |