Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11210201 | Scalable incremental analysis using caller and callee summaries | Rebecca Jane O'Donoghue, Nicholas John Allen, Yi Lu | 2021-12-28 |
| 11163888 | Detecting second-order security vulnerabilities via modelling information flow through persistent storage | Raghavendra Kagalavadi Ramesh, Yi Lu | 2021-11-02 |
| 11159381 | Verification of software-defined networking (SDN) policies for specific topologies | Henry John O'Brien, Nathan Robert Albert Keynes, Marius Portmann | 2021-10-26 |
| 11030304 | Buffer overflow detection based on a synthesis of assertions from templates and k-induction | Francois Gauthier, Nathan Robert Albert Keynes, Cristina N. Cifuentes, Trung Quang Ta | 2021-06-08 |
| 10992636 | Mitigating network/hardware address explosion in network devices | Shyam Kapadia, Naoshad Mehta, Rajesh Babu Nataraja, Nilesh Shah | 2021-04-27 |