| 11734432 |
Detecting second-order security vulnerabilities via modelling information flow through persistent storage |
Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan |
2023-08-22 |
| 11210201 |
Scalable incremental analysis using caller and callee summaries |
Padmanabhan Krishnan, Rebecca Jane O'Donoghue, Nicholas John Allen |
2021-12-28 |
| 11163888 |
Detecting second-order security vulnerabilities via modelling information flow through persistent storage |
Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan |
2021-11-02 |
| 11106564 |
Deframeworking for static program analysis |
— |
2021-08-31 |
| 10824538 |
Scalable incremental analysis using caller and callee summaries |
Padmanabhan Krishnan, Rebecca Jane O'Donoghue, Nicholas John Allen |
2020-11-03 |
| 10318257 |
Selective object sensitive points-to analysis |
Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz |
2019-06-11 |
| 10108802 |
Static program analysis method for detecting security bugs in programs that rely on code access control |
Raghavendra Kagalavadi Ramesh |
2018-10-23 |
| 9997505 |
Lighting device, backlight module and illumination module |
Yi-Hsiang Lin, Po-Yu Chen |
2018-06-12 |
| 9811322 |
Scalable provenance generation from points-to information |
Stepan Sindelar, Padmanabhan Krishnan, Bernhard Scholz, Raghavendra Kagalavadi Ramesh |
2017-11-07 |
| 9807101 |
Inferring security-sensitive entities in libraries |
Padmanabhan Krishnan, Raghavendra Kagalavadi Ramesh, Sora Bae |
2017-10-31 |
| 8469156 |
Sequential brake control device for a cycle |
Frank Lu, I-Wei Lu |
2013-06-25 |
| 7627403 |
Bias correcting phase compensating rate limiter |
David G. Miller |
2009-12-01 |
