Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12397828 | Weather-informed path planning for a vehicle | Michael Cui, Hyukseong Kwon, Rodolfo Romero, Andrew John Howe, Alexander Waagen +2 more | 2025-08-26 |
| 11695788 | Filtering strategies for subgraph matching on noisy multiplex networks | Jiejun Xu | 2023-07-04 |
| 11671436 | Computational framework for modeling adversarial activities | Jiejun Xu, Kang-Yu Ni, Shane M. Roach, Tsai-Ching Lu | 2023-06-06 |
| 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 |
| 10084819 | System for detecting source code security flaws through analysis of code history | Aleksey Nogin, George Kuan | 2018-09-25 |
| 9378377 | System for information flow security inference through program slicing | George Kuan, Aleksey Nogin | 2016-06-28 |
| 9317682 | Library-based method for information flow integrity enforcement and robust information flow policy development | George Kuan, Aleksey Nogin | 2016-04-19 |