Issued Patents 2019
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10430587 | System and method for maintaining security tags and reference counts for objects in computer memory | George Kuan | 2019-10-01 |
| 10423780 | System and method for synthesis of correct-by-construction cryptographic software from specification | Alexei Kopylov | 2019-09-24 |
| 10402584 | System and method for translating security objectives of computer software to properties of software code | Alexei Kopylov, George Kuan | 2019-09-03 |
| 10366232 | Language-based missing function call detection | George Kuan, Alexei Kopylov | 2019-07-30 |