Issued Patents 2023
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11853195 | Methods and systems to discover special outcomes in an instruction set architecture via formal methods | Gregory A. Kemp, Bryant Cockcroft, Bradley Donald Bingham | 2023-12-26 |
| 11797713 | Systems and methods for dynamic control of a secure mode of operation in a processor | Christian Zoellin, Bradly G. Frey, Brian W. Thompto | 2023-10-24 |
| 11556365 | Obscuring information in virtualization environment | Bryant Cockcroft, John A. Schumann, Karen Yokum | 2023-01-17 |