Issued Patents All Time
Showing 25 most recent of 27 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12132751 | Predicting security response impact | — | 2024-10-29 |
| 11947444 | Sharing insights between pre and post deployment to enhance cloud workload security | Omri Soceanu, Gilad Ezov, Ronen Levy | 2024-04-02 |
| 11805141 | Predicting security response impact | — | 2023-10-31 |
| 11720802 | Genetic fuzzing for customization of security operations center rules per organization | Benjamin Zeltser | 2023-08-08 |
| 11704119 | Migrating infrastructure as code between different cloud providers | Lev Greenberg, Dov Murik, Omer Y. Boehm, Omri Soceanu | 2023-07-18 |
| 11573785 | Predicting code vulnerabilities using machine learning classifier models trained on internal analysis states | Shai Doron, Reda Igbaria | 2023-02-07 |
| 11550567 | User and entity behavior analytics of infrastructure as code in pre deployment of cloud infrastructure | Omri Soceanu, Lev Greenberg, Dov Murik | 2023-01-10 |
| 11409501 | Detecting infrastructure as code compliance inconsistency in a multi-hybrid-cloud environment | Shripad Nadgowda | 2022-08-09 |
| 11308210 | Automatic malware signature generation for threat detection systems | Matan Danos, Orit Edelstein, Dov Murik, Benjamin Zeltser | 2022-04-19 |
| 11295013 | Dimensionality reduction based on functionality | Ayman Jarrous, Tamer Salman, Maksim Shudrak | 2022-04-05 |
| 11023362 | Co-verification of hardware and software | Dov Murik, Sharon Keidar Barner | 2021-06-01 |
| 11003573 | Co-verification of hardware and software | Dov Murik, Sharon Keidar Barner | 2021-05-11 |
| 10915436 | System level test generation using DNN translation from unit level test | Karen Frida Yorav | 2021-02-09 |
| 10798075 | Interface layer obfuscation and usage thereof | Ayman Jarrous, Ronen Levy, Sharon Keidar Barner | 2020-10-06 |
| 10742642 | User authentication based on predictive applications | Ayelet Avni, Ayman Jarrous, Sharon Keidar-Barner, Shiri Lemel | 2020-08-11 |
| 10657257 | Feature vector aggregation for malware detection | Cynthia Rae Eisner, Dov Murik, Tamer Salman | 2020-05-19 |
| 10649887 | Co-verification of hardware and software | Dov Murik, Sharon Keidar Barner | 2020-05-12 |
| 10606732 | Hybrid genetic concolic co-verification of hardware and software | Dov Murik, Sharon Keidar Barner | 2020-03-31 |
| 10417412 | Protecting computer code against ROP attacks | Ayman Jarrous, Tamer Salman | 2019-09-17 |
| 10387655 | Method, system and product for using a predictive model to predict if inputs reach a vulnerability of a program | Ayman Jarrous, Sharon Keidar-Barner, Tamer Salman | 2019-08-20 |
| 9898395 | Unit-level formal verification for vehicular software systems | Allon Adir, Dmitry Pidan, Tamer Salman | 2018-02-20 |
| 9875175 | Unit-level formal verification for vehicular software systems | Allon Adir, Dmitry Pidan, Tamer Salman | 2018-01-23 |
| 9870313 | Unit-level formal verification for vehicular software systems | Allon Adir, Dmitry Pidan, Tamer Salman | 2018-01-16 |
| 9588877 | Unit-level formal verification for vehicular software systems | Allon Adir, Dmitry Pidan, Tamer Salman | 2017-03-07 |
| 9495504 | Using traces of original model to verify a modified model | Gadiel Auerbach | 2016-11-15 |