Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10805025 | Method and system for evaluating signal propagation over a radio channel | — | 2020-10-13 |
| 10789362 | Taint analysis with access paths | Nicholas John Allen, Alexander Jordan | 2020-09-29 |
| 10657252 | Detecting malicious code embedded in documents | Alexander Jordan | 2020-05-19 |
| 10540255 | Staged refinement for static analysis | Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan | 2020-01-21 |
| 10528344 | Modular points-to analysis | Johannes Späth, Padmanabhan Krishnan | 2020-01-07 |