Issued Patents 2020
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10567384 | Verifying whether connectivity in a composed policy graph reflects a corresponding policy in input policy graphs | Joon-Myung Kang, Mario Antonio Sanchez, Ying Zhang, Raphael Amorim Dantas Leite, Sujata Banerjee | 2020-02-18 |