Issued Patents All Time
Showing 25 most recent of 36 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12425455 | Authorization policy analysis | Emina Torlak, Kyle Headley, Michael W. Hicks, Andrew Marshall Wells | 2025-09-23 |
| 12368716 | Verifying translated access controls for application modernization | Amit Goel, Chungha Sung, Mary Southern, Didier Durand, Brad E. Marshall +1 more | 2025-07-22 |
| 12348529 | Automated policy refiner for cloud-based identity and access management systems | Chungha Sung, Amit Goel, Zvonimir Rakamaric, Loris D'Antoni | 2025-07-01 |
| 12335318 | Detecting conflicts between a generated access management policy and invoked access management policies | Homer Strong, Daniel George Peebles | 2025-06-17 |
| 12299154 | Secure data handling discovery | Jared Curran Davis, Andrew Jude Gacek, Harsh Raju Chamarthi, Vaibhav Sharma | 2025-05-13 |
| 12261888 | Authorization policy validation | Michael W. Hicks, John Holman Kastner, Emina Torlak, Richard Matthew McCutchen, Darin Keith McAdams +3 more | 2025-03-25 |
| 12034727 | Analysis of role reachability with transitive tags | John Cook, Carsten Varming, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza | 2024-07-09 |
| 11921616 | Retaining Dafny specifications | Tongtong Xiang, Sean McLaughlin, Marianna Rapoport, Matthias Schlaipfer, Florian Rabe | 2024-03-05 |
| 11863563 | Policy scope management | Tyler Stuart Bray, Kasper Søe Luckow, Alexander Watson, Jeff Puchalski, John Cook +1 more | 2024-01-02 |
| 11861409 | Distributed decomposition of string-automated reasoning using predicates | John Cook, Andres Philipp Noetzli, Jingmei Hu | 2024-01-02 |
| 11797317 | Transitioning legacy software to be provably correct | Sean McLaughlin, Tongtong Xiang, Matthias Schlaipfer, Serdar Tasiran, John Cook +1 more | 2023-10-24 |
| 11777995 | Resource state validation of access management policies | Ujjwal Rajkumar Pugalia, Sean McLaughlin, Andrew Jude Gacek, Matthias Schlaipfer, John Michael Renner +5 more | 2023-10-03 |
| 11757886 | Analysis of role reachability using policy complements | John Cook, Carsten Varming, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza | 2023-09-12 |
| 11750642 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk | 2023-09-05 |
| 11736525 | Generating access control policies using static analysis | Willem Conradie Visser, Daniel George Peebles | 2023-08-22 |
| 11677789 | Intent-based governance | Daniel George Peebles, Andrew Jude Gacek, Marvin M. Theimer, Rebecca C. Weiss, Brigid Ann Johnson | 2023-06-13 |
| 11616800 | Security policy analyzer service and satisfiability engine | John Cook, Catherine Dodge, Jeff Puchalski, Carsten Varming | 2023-03-28 |
| 11509730 | Analyzing web service frontends to extract security-relevant behavior information | Daniel George Peebles, Carsten Varming, Zhen Zhang | 2022-11-22 |
| 11483317 | Techniques for analyzing security in computing environments with privilege escalation | Pauline Virginie Bolignano, John Cook, Andrew Jude Gacek, Kasper Søe Luckow, Cole Nathan Schlesinger +2 more | 2022-10-25 |
| 11483350 | Intent-based governance service | Pauline Virginie Bolignano, Tyler Stuart Bray, John Cook, Andrew Jude Gacek, Kasper Søe Luckow +3 more | 2022-10-25 |
| 11483353 | Generating access management policies from example requests | Jiasi Shen, Homer Strong, Daniel George Peebles | 2022-10-25 |
| 11418532 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk | 2022-08-16 |
| 11394661 | Compositional reasoning techniques for role reachability analyses in identity systems | John Cook, Andrew Jude Gacek, Daniel George Peebles, Carsten Varming | 2022-07-19 |
| 11301357 | Method to check application programming interface correctness in software | Andrew Jude Gacek, Lee Pike | 2022-04-12 |
| 11232015 | Automated software verification service | Juan Rodriguez Hortala, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig, Andrea Nedic +3 more | 2022-01-25 |