Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8953784 | Lightweight stream cipher cryptosystems | Guang Gong, Xinxin Fan | 2015-02-10 |
| 7181729 | Methods and systems for an interactive theorem-proving tool with reflective capabilities | James Grundy | 2007-02-20 |