Issued Patents 2019
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10430587 | System and method for maintaining security tags and reference counts for objects in computer memory | Aleksey Nogin | 2019-10-01 |
| 10402584 | System and method for translating security objectives of computer software to properties of software code | Alexei Kopylov, Aleksey Nogin | 2019-09-03 |
| 10366232 | Language-based missing function call detection | Aleksey Nogin, Alexei Kopylov | 2019-07-30 |