Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10742666 | System and method for static detection and categorization of information-flow downgraders | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Guy Podjarny, Adi Sharabani +2 more | 2020-08-11 |
| 10572228 | Automatic program synthesis using monadic second-order logic | — | 2020-02-25 |