Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12255980 | Homomorphic encryption key management | Akram Bitar, Ehud Aharoni, Nir Drucker, Omri Soceanu, Ronen Levy | 2025-03-18 |
| 11841982 | Partitioning circuits for execution of sequential secure computation code on multiple processors | Hayim Shaul, Ehud Aharoni, Omri Soceanu, Gilad Ezov, Lev Greenberg +1 more | 2023-12-12 |
| 11704119 | Migrating infrastructure as code between different cloud providers | Fady Copty, Lev Greenberg, Omer Y. Boehm, Omri Soceanu | 2023-07-18 |
| 11550567 | User and entity behavior analytics of infrastructure as code in pre deployment of cloud infrastructure | Fady Copty, Omri Soceanu, Lev Greenberg | 2023-01-10 |
| 11528134 | Authentication using transformation verification | Ehud Aharoni, Allon Adir, Ariel Farkash, Omri Soceanu | 2022-12-13 |
| 11308210 | Automatic malware signature generation for threat detection systems | Fady Copty, Matan Danos, Orit Edelstein, Benjamin Zeltser | 2022-04-19 |
| 11023362 | Co-verification of hardware and software | Fady Copty, Sharon Keidar Barner | 2021-06-01 |
| 11003573 | Co-verification of hardware and software | Fady Copty, Sharon Keidar Barner | 2021-05-11 |
| 10762199 | Compiler assisted protection against arbitrary code execution | Ayman Jarrous, Omer Y. Boehm, Nitzan Peleg | 2020-09-01 |
| 10657257 | Feature vector aggregation for malware detection | Fady Copty, Cynthia Rae Eisner, Tamer Salman | 2020-05-19 |
| 10649887 | Co-verification of hardware and software | Fady Copty, Sharon Keidar Barner | 2020-05-12 |
| 10606732 | Hybrid genetic concolic co-verification of hardware and software | Fady Copty, Sharon Keidar Barner | 2020-03-31 |