| 12481487 |
Mapping pipeline run sources and targets in cloud infrastructures |
— |
2025-11-25 |
|
| 12132751 |
Predicting security response impact |
— |
2024-10-29 |
$23,226,000 |
| 11947444 |
Sharing insights between pre and post deployment to enhance cloud workload security |
Omri Soceanu, Gilad Ezov, Ronen Levy |
2024-04-02 |
$9,951,000 |
| 11805141 |
Predicting security response impact |
— |
2023-10-31 |
$8,788,000 |
| 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 |
$11,372,000 |
| 11573785 |
Predicting code vulnerabilities using machine learning classifier models trained on internal analysis states |
Shai Doron, Reda Igbaria |
2023-02-07 |
$6,435,000 |
| 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 |
$10,956,000 |
| 11409501 |
Detecting infrastructure as code compliance inconsistency in a multi-hybrid-cloud environment |
Shripad Nadgowda |
2022-08-09 |
$6,406,000 |
| 11308210 |
Automatic malware signature generation for threat detection systems |
Matan Danos, Orit Edelstein, Dov Murik, Benjamin Zeltser |
2022-04-19 |
$6,872,000 |
| 11295013 |
Dimensionality reduction based on functionality |
Ayman Jarrous, Tamer Salman, Maksim Shudrak |
2022-04-05 |
$5,706,000 |
| 11023362 |
Co-verification of hardware and software |
Dov Murik, Sharon Keidar Barner |
2021-06-01 |
$4,052,000 |
| 11003573 |
Co-verification of hardware and software |
Dov Murik, Sharon Keidar Barner |
2021-05-11 |
$6,417,000 |
| 10915436 |
System level test generation using DNN translation from unit level test |
Karen Frida Yorav |
2021-02-09 |
$3,536,000 |
| 10798075 |
Interface layer obfuscation and usage thereof |
Ayman Jarrous, Ronen Levy, Sharon Keidar Barner |
2020-10-06 |
$5,751,000 |
| 10742642 |
User authentication based on predictive applications |
Ayelet Avni, Ayman Jarrous, Sharon Keidar-Barner, Shiri Lemel |
2020-08-11 |
$2,122,000 |
| 10657257 |
Feature vector aggregation for malware detection |
Cynthia Rae Eisner, Dov Murik, Tamer Salman |
2020-05-19 |
$2,035,000 |
| 10649887 |
Co-verification of hardware and software |
Dov Murik, Sharon Keidar Barner |
2020-05-12 |
$2,725,000 |
| 10606732 |
Hybrid genetic concolic co-verification of hardware and software |
Dov Murik, Sharon Keidar Barner |
2020-03-31 |
$1,667,000 |
| 10417412 |
Protecting computer code against ROP attacks |
Ayman Jarrous, Tamer Salman |
2019-09-17 |
$3,647,000 |
| 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 |
$1,949,000 |
| 9898395 |
Unit-level formal verification for vehicular software systems |
Allon Adir, Dmitry Pidan, Tamer Salman |
2018-02-20 |
$3,618,000 |
| 9875175 |
Unit-level formal verification for vehicular software systems |
Allon Adir, Dmitry Pidan, Tamer Salman |
2018-01-23 |
$4,886,000 |
| 9870313 |
Unit-level formal verification for vehicular software systems |
Allon Adir, Dmitry Pidan, Tamer Salman |
2018-01-16 |
$4,196,000 |
| 9588877 |
Unit-level formal verification for vehicular software systems |
Allon Adir, Dmitry Pidan, Tamer Salman |
2017-03-07 |
$2,625,000 |
