Issued Patents 2020
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10812342 | Generating composite network policy | Anubhavnidhi Abhashkumar, Sujata Banerjee, Ying Zhang, Wenfei Wu | 2020-10-20 |
| 10771342 | Encoding and verifying network intents for stateful networks | Huazhe Wang, Puneet Sharma | 2020-09-08 |
| 10567384 | Verifying whether connectivity in a composed policy graph reflects a corresponding policy in input policy graphs | Mario Antonio Sanchez, Ying Zhang, Anu Mercian, Raphael Amorim Dantas Leite, Sujata Banerjee | 2020-02-18 |
| 10541873 | Determining violation of a network invariant | Ying Zhang, Jeongkeun Lee, Puneet Sharma | 2020-01-21 |