Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12353812 | Logical equivalence check for circuits | Christopher Daniel Leary | 2025-07-08 |
| 12126707 | Fully homomorphic encryption transpiler for high-level languages | Bryant Gipson, Shruthi Gorantala, Sean Purser-Haskell | 2024-10-22 |
| 11849020 | Fully homomorphic encryption transpiler for high-level languages | Bryant Gipson, Shruthi Gorantala, Sean Purser-Haskell | 2023-12-19 |