Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 12505050 | Physical memory isolation | Sergej Proskurin, Sebastian Vogl | 2025-12-23 | |
| 12443694 | Process credential protection | Sergej Proskurin, Sebastian Vogl, Robert Gawlik | 2025-10-14 | |
| 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 | $9,927,000 |
| 10565378 | Exploit of privilege detection framework | Michael Vincent, Sai Omkar Vashist | 2020-02-18 | $10,420,000 |