Issued Patents All Time
Showing 25 most recent of 53 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12254299 | Automatic code reconfiguration based on function and subfunction analysis | — | 2025-03-18 |
| 12147792 | Shrinking files based on function analysis | — | 2024-11-19 |
| 12141577 | Symbol-matching between software versions | — | 2024-11-12 |
| 12118284 | Verifying integrity of controller software updates | Zohar Fox | 2024-10-15 |
| 12050848 | Visualization of code execution through line-of-code behavior and relation models | Zohar Fox | 2024-07-30 |
| 12045551 | Identifying software dependencies using controller code models | Zohar Fox | 2024-07-23 |
| 12045550 | Verifying integrity of controller software updates | Zohar Fox | 2024-07-23 |
| 11960807 | Proving whether software functionality has changed following a software change | Zohar Fox | 2024-04-16 |
| 11941380 | Automatic code reconfiguration based on function and subfunction analysis | — | 2024-03-26 |
| 11836428 | Identifying software interdependencies using line-of-code behavior and relation models | Zohar Fox | 2023-12-05 |
| 11816478 | Shrinking delta files based on function analysis | — | 2023-11-14 |
| 11803371 | Symbol-matching between software versions | — | 2023-10-31 |
| 11782687 | Shrinking executable files based on function analysis | — | 2023-10-10 |
| 11741281 | Using line-of-code behavior and relation models to anticipate impact of hardware changes | Zohar Fox | 2023-08-29 |
| 11741280 | Identifying software dependencies using controller code models | Zohar Fox | 2023-08-29 |
| 11720731 | Verifying software malfunction sources among disparate code sources | Zohar Fox | 2023-08-08 |
| 11709981 | Dynamic CFI using line-of-code behavior and relation models | Zohar Fox | 2023-07-25 |
| 11694008 | Visualization of code execution through line-of-code behavior and relation models | Zohar Fox | 2023-07-04 |
| 11693635 | Automatic code reconfiguration based on function and subfunction analysis | — | 2023-07-04 |
| 11651128 | Verifying integrity of controller software updates | Zohar Fox | 2023-05-16 |
| 11537509 | Identifying software interdependencies using line-of-code behavior and relation models | Zohar Fox | 2022-12-27 |
| 11481314 | Using line-of-code behavior and relation models to anticipate impact of hardware changes | Zohar Fox | 2022-10-25 |
| 11467953 | Proving whether software functionality has changed following a software change | Zohar Fox | 2022-10-11 |
| 11442850 | Identifying software dependencies using controller code models | Zohar Fox | 2022-09-13 |
| 11416385 | Visualization of code execution through line-of-code behavior and relation models | Zohar Fox | 2022-08-16 |