Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12099864 | Formally verified trusted computing base with active security and policy enforcement | Osman Abdoul Ismael, Ashar Aziz | 2024-09-24 |
| 11442770 | Formally verified trusted computing base with active security and policy enforcement | Osman Abdoul Ismael, Ashar Aziz | 2022-09-13 |
| 10621338 | Method to detect forgery and exploits using last branch recording registers | Phung-Te Ha | 2020-04-14 |
| 10565378 | Exploit of privilege detection framework | Michael Vincent, Sai Omkar Vashist | 2020-02-18 |