| 10154989 |
Methods of managing graft versus host disease (GvHD) using indole carboxyaldehydes or derivatives thereof |
Edmund K. Waller, Cynthia R. Giver, Alyson Swimm, Sravanti Rangaraju |
2018-12-18 |
| 10157049 |
Static analysis with input reduction |
Yinnon A. Haviv, Dmitri Pikus, Omer Tripp, Omri Weisman |
2018-12-18 |
| 9977903 |
Detecting security vulnerabilities on computing devices |
Roee Hay, Roi Saltzman, Omer Tripp |
2018-05-22 |
| 9971897 |
Targeted security testing |
Yair Amit, Lotem Guy, Ori Segal, Omri Weisman |
2018-05-15 |
| 9971896 |
Targeted security testing |
Yair Amit, Lotem Guy, Ori Segal, Omri Weisman |
2018-05-15 |
| 9959411 |
Detecting security vulnerabilities on computing devices |
Roee Hay, Roi Saltzman, Omer Tripp |
2018-05-01 |
| 9892258 |
Automatic synthesis of unit tests for security testing |
Ory Segal, Omer Tripp, Omri Weisman |
2018-02-13 |
