Issued Patents 2022
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11501048 | Estimating hardness of formal properties using on-the-fly machine learning | Arunava Saha, Manish Pandey | 2022-11-15 |
| 11461465 | Protection of kernel extension in a computer | Xilin Li, Yafei Zhang | 2022-10-04 |