Issued Patents 2019
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10423780 | System and method for synthesis of correct-by-construction cryptographic software from specification | Aleksey Nogin | 2019-09-24 |
| 10402584 | System and method for translating security objectives of computer software to properties of software code | Aleksey Nogin, George Kuan | 2019-09-03 |
| 10366232 | Language-based missing function call detection | George Kuan, Aleksey Nogin | 2019-07-30 |