Issued Patents 2016
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9467473 | System and method for compact form exhaustive analysis of security policies | Karthick Jayaraman, Nikolaj S. Bjorner | 2016-10-11 |
| 9253195 | Transformation of sequential access control lists utilizing certificates | Carl M. Ellison, Paul J. Leach, Butler W. Lampson, Melissa W. Dunn, Ravindra Nath Pandya | 2016-02-02 |