Issued Patents 2023
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11811246 | Decentralized green-energy ecosystem | Marc H. Coq, Cedric D. Cook, Akil Khamisi Sutton | 2023-11-07 |
| 11587189 | Formal verification of smart contracts | Gabor Madl, Ramani R. Routray | 2023-02-21 |