Issued Patents 2022
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11232015 | Automated software verification service | Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more | 2022-01-25 |
| 11218511 | Resource state validation of access management policies | Ujjwal Rajkumar Pugalia, Neha Rungta, Andrew Jude Gacek, Matthias Schlaipfer, John Michael Renner +5 more | 2022-01-04 |