Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12339986 | Runtime application self-protection | Sora Bae, Rebecca Jane O'Donoghue | 2025-06-24 |
| 12130912 | Automatic detection of deserialization attacks with Markov chains | Sora Bae | 2024-10-29 |
| 11755744 | Application programming interface specification inference | Behnaz Hassanshahi, Max Marius Schlüter | 2023-09-12 |
| 11709930 | Inferring watchpoints for understandable taint reports | Sora Bae, Alexander Jordan | 2023-07-25 |
| 11494489 | Synthesis of deserialization filters from positive and negative examples | Kostyantyn Vorobyov, Sora Bae, Padmanabhan Krishnan | 2022-11-08 |
| 11392697 | Detection of malware in documents | Scott Gaetjen, Michael Blair | 2022-07-19 |
| 11250139 | Greybox fuzzing for web applications | Behnaz Hassanshahi, Benjamin Selwyn-Smith | 2022-02-15 |
| 11030304 | Buffer overflow detection based on a synthesis of assertions from templates and k-induction | Nathan Robert Albert Keynes, Padmanabhan Krishnan, Cristina N. Cifuentes, Trung Quang Ta | 2021-06-08 |
| 10915639 | Staged dynamic taint flow inference | Behnaz Hassanshahi, Hyunjun LEE, Alexander Jordan | 2021-02-09 |
| 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 |
| 10325097 | Static detection of context-sensitive cross-site scripting vulnerabilities | Antonin Steinhauser | 2019-06-18 |