| 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 |
